Compare commits

..

No commits in common. "831618a464c488676b6fef55eda7428a4587ab24" and "1784841371894f687a2b7d3a7e99fa6b3927cbd5" have entirely different histories.

View file

@ -1,5 +0,0 @@
#!/bin/bash
# push main to prod (which will trigger the deploy action)
git checkout prod
git merge --ff-only main
git push origin prod