Git-pile: scripts for using a stacked-diff workflow with Git and GitHubgithub.com/keith1 pointingve2 years ago