On Tue, Jun 14, 2016 at 02:23:20PM +0000, ian.hinder@aei.mpg.de wrote:
See https://build.barrywardell.net/job/EinsteinToolkitReleased/100/
Great. How sure can I be that his is using the right branch?
I see something like:
Revision: b814c320eaccccb0e0efa9265241964d7be0e3d0
ET_2015_11/ET_2016_05
and later in the log:
git config remote.ET_2015_11.url https://bitbucket.org/einsteintoolkit/einsteintoolkit.git # timeout=10
Fetching upstream changes from https://bitbucket.org/einsteintoolkit/einsteintoolkit.git
git --version # timeout=10 git -c core.askpass=true fetch --tags --progress https://bitbucket.org/einsteintoolkit/einsteintoolkit.git +refs/heads/*:refs/remotes/ET_2015_11/* git rev-parse ET_2015_11/ET_2016_05^{commit} # timeout=10
Checking out Revision b814c320eaccccb0e0efa9265241964d7be0e3d0 (ET_2015_11/ET_2016_05)
Frank