Commits missing on github?
bergmark opened this issue · comments
Adam Bergmark commented
The latest hackage release is 4000.3.8 but the latest commit is still on 4000.3.7.
Ganesh Sittampalam commented
Thanks, fixed. The commit was there under the 4000.3.8 tag, but not on the branch - I keep forgetting that git push --tags
doesn't actually push the commit to the branch as well.