Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Differentiate tags from regular pushes #20
We have another small feature request: we would like to be able to tell whether a push contains commits and/or tags. Optional: even better would be to list the pushed tags and make them links. We're using the minimal verbosity level.
Issue #19 's "alternate" example would also meet what we need.
Let me know what you think. :)