This website requires JavaScript.
Explore
Help
Sign in
Conservancy
/
website
Watch
6
Star
0
Fork
You've already forked website
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
5fa226284b
website
/
bin
History
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