On Mon, 16 Jun 2014, Satish Balay wrote: > > > > Jed has pointed out that a “branch” is not enough information, so what > > should we use in the xxx.py so that the correct thing is built when I build > > PETSc with a particular branch??? > > commit-id, tag. > > Branch is also a 'tag' but its a moving tag - [with non-reproduceable > state]. I think this is Jed's objection. [and mine as well [wrt > gitcommit=master-head]
one additional note: 'branch-name' and 'tag' can be deleted. And 'commit-id' can get garbage collected if the corresponding feature branch (is deleted and) doesn't get merged into one of the 'live branches'. [so baranches are not permanant - so are tags, and some commit-ids] Satish
