Suggestion about how to push diffs to Github#1

basilesimon wants to merge 1 commit into

Airwars-org:mainAirwars-org/codebook:mainfrom

basilesimon:demo/diff-friendly-updatebasilesimon/codebook-tests:demo/diff-friendly-updateCopy head branch name to clipboard