On Wed, Jun 4, 2014 at 12:30 PM, Stephan Beal <sgb...@googlemail.com> wrote: > On Wed, Jun 4, 2014 at 7:25 PM, Nico Williams <n...@cryptonector.com> wrote: >> >> To be truly useful it has to be possible to [selectively] push/pull >> bookmarks. > > > If that's the case then they really provide no benefits over propagating > tags (which are versioned), but note that Fossil cannot selectively
See my notes about the differences between tags and branches in git, the most important of which I'll repeat and expand on here: - when you checkout a tag and then commit something, the tag doesn't move with the HEAD of your workspace -- you're in detached HEAD mode when you checkout a tag - when you checkout a branch and you commit something, the branch's HEAD moves with the HEAD of your workspace. E.g., % git clone somerepo myclone % cd myclone % git tag <list of tags; pick one> % git checkout footag Note: checking out 'footag'. You are in 'detached HEAD' state. [...] ... % date > f % git add f % git commit -m "example" % git show HEAD <the commit we just did> % git show footag <the commit we were on before> Now branches: % git checkout master % date > f % git add f % git commit -m "another example" % git status -uno # On branch master nothing to commit (use -u to show untracked files) % git show HEAD <the commit we just added> See? Tags are precious: they are for noting releases and such, so mostly they are not intended to be modified. Branches are intended for ongoing development, so adding a commit with a given branch checked out moves that branch's HEAD. Nico -- _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users