James E. Blair f49b525b3c Use 'git checkout' when checking out a tag ... The way we were checking out tags did not match the results that would happen from a simple 'git checkout tagname', which made it difficult for us to push repos from the executor to the workers. It may also have eventually caused inconsistent results with git tooling in jobs since it didn't match the way most folks would check out a tag. (In particular, this method did not appear to update .git/logs/HEAD, which is used by git status.) Change to just use the git checkout command rather than the lower-level manipulation we were doing. Change-Id: I77e9900c73caf16032dbadb9991358caed0e07ed		2017-09-08 16:07:00 -07:00
..
__init__.py	Split the merger into a separate process	2014-02-17 11:47:15 -08:00
client.py	Ensure ref-updated jobs run with their ref	2017-08-02 16:56:18 -07:00
merger.py	Use 'git checkout' when checking out a tag	2017-09-08 16:07:00 -07:00
server.py	Ensure ref-updated jobs run with their ref	2017-08-02 16:56:18 -07:00