Some git practice tips:
- Don't push to master branch. Work in a test branch and do a merge request to whoever maintains master branch (that may be yourself).
- The heron_workspace contains ~18 repositories. Make sure to be extra careful when pulling/pushing and running
heron update
to specific repos. If you want to read up on development where a git repository contains git repositories check vcstools https://docs.ros.org/en/independent/api/vcstools/html/ and submodules https://git-scm.com/book/en/v2/Git-Tools-Submodules .