ParentFull threadandrewstuart2·Spit out tips in the push shell output from time to time, maybe? Not sure if you have guidelines around what can go there but I definitely appreciate the helpful stuff GitLab has added there.View on HN