Matthew Knepley <[email protected]> writes: > On Sat, Jun 15, 2013 at 10:44 PM, Karl Rupp <[email protected]> wrote: > >> Hey, >> >> >> 1) I ran the push again, even after issuing the command above, and still >>> got the same error >>> >> > >> > 2) How do I update my copy of 3.4.1? I pulled every branch and did a >> fetch. >> > >> >> Did you try `git pull --tags` and/or `git fetch --tags`? >> > > Yes, that worked. I cannot understand why this tag was different from all > the others.
Satish explained this in the other mail. We should use annotated (preferably signed) tags for release tags since it makes 'git describe' do the right thing without options and because it makes it faster to "check" tags in another clone of PETSc (versus manually comparing SHA1).
