summaryrefslogtreecommitdiff
path: root/Biz/Ide/post-checkout
AgeCommit message (Expand)Author
2021-01-22Fix bad bash substitutionBen Sima
2021-01-08Simplify post-checkoutBen Sima
2020-12-28ide: incremental tags and git hooksBen Sima