We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1db0e15 commit 4671932Copy full SHA for 4671932
.github/scripts/merge-main.sh
@@ -73,6 +73,7 @@ function merge_main() {
73
if [ $? -eq 0 ]; then
74
echo "...pushing to origin"
75
# git push origin "$branch"
76
+# TODO: Enable pushing to origin
77
else
78
echo "...merge failed"
79
git merge --abort
0 commit comments