Clarification w.r.t pushing tags to Github