jean/git-up
Stop using "git pull". Be polite.
Univeral Text Linking - Execute URLs, footnotes, open emails, organize ideas
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Stop using "git pull". Be polite.
A command-line tool that helps you clean up Git branches that have been merged into master.
Incremental merge for git
A Very Gentle Introduction to Relational Programming