Tags give the ability to mark specific points in history as being important
Merged pull request for fix in push subcmd
Merged all pull requests
resyncing with google git-repo v1.12.33
adding pull requests for force in push command and fixing shutil.rmtree problem
Added esrlabs repo maintainer public key
Fixes from github requests
Hide deprecation warning via env
Revert
Deprecated this branch + bugfix
Bugfix in repo init