I have a repository locally, and on github. Both repos were up to
date, when I issued the command
git tag 'v0.5'
...locally, thinking this would cause a tag to spring into being in
both places. But push doesn't seem to replicate the tag on Github,
despite my making some trivial changes to the local files, re-
committing, and pushing again.
How do I get the desired effect?
Thanks,
Walter
--
You received this message because you are subscribed to the Google Groups
"GitHub" group.
To post to this group, send email to git...@googlegroups.com.
To unsubscribe from this group, send email to
github+unsubscr...@googlegroups.com.
For more options, visit this group at
http://groups.google.com/group/github?hl=en.
