Ben Sturmfels 2b709f61e0 Make bin/deploy abort if there's an error with git push ... For example, your push failed because there's upstream changes.		2024-03-20 14:18:59 +11:00
..
deploy	Make bin/deploy abort if there's an error with git push	2024-03-20 14:18:59 +11:00