On Sat, Aug 3, 2019 at 6:34 AM Edward K. Ream <[email protected]> wrote:
I deleted my local "black" branch and then pulled it again. Now all seems
well. I was able to:
git push --follow-tags
but there is still no v6.0 tag on origin/master. Otoh, gitk show the v6.0
tag as yellow, whereas gitk shows the tags that did get pushed to
origin/master as green. No idea what this means.
BTW, I had to log in again to GitHub, after which I got a weird message
from github, but I don't think this is worrisome.
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/CAMF8tS2RdEb_ZQtFS0y%3DgUvsSf7-64wcnHCt-xZYh_NgDj%2BBBg%40mail.gmail.com.
