This commit is contained in:
2020-10-06 19:33:37 -05:00
1774 changed files with 89990 additions and 22172 deletions

View File

@ -67,11 +67,11 @@ if [[ $BRANCH == $TARG ]]; then
# Allow working directly with the main fork
echo
echo -n "Pushing to origin/$TARG... "
git push -f origin
git push origin HEAD:$TARG
echo
echo -n "Pushing to upstream/$TARG... "
git push -f upstream
git push upstream HEAD:$TARG
else
@ -126,7 +126,7 @@ git push -f origin
git push -f upstream | {
while IFS= read -r line
do
[[ $line =~ "gh-pages -> gh-pages" ]] && opensite "http://marlinfw.org/"
[[ $line =~ "gh-pages -> gh-pages" ]] && opensite "https://marlinfw.org/"
echo "$line"
done
}
@ -135,4 +135,4 @@ git push -f upstream | {
rm -rf ${TMPFOLDER}
# Go back to the branch we started from
[[ $BRANCH != $CURR ]] && git checkout $BRANCH && [[ $HAS_STASH == 1 ]] && git stash pop
git checkout $CURR && [[ $HAS_STASH == 1 ]] && git stash pop