However, we add tags to commits we're referencing, just in case someone at GitHub gets around to implementing garbage collection!