Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I also have a locally cloned copy of that repo from when it was on GitHub. Same latest commit as your copy of it.

From what I see in GitHub in your copy of the repo, it looks like you don’t have the tags.

Do you have the tags locally?

If you don’t have the tags, I can push a copy of the repo to GitHub too and you can get the tags from my copy.





I don't have the tags! It would be awesome if you could push that.


Thanks for that, though actually it turns out I had them after all - I needed to run:

  git push --tags origin

All the better :)



Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: