"...git@ssh.gitgud.io:Vrelnir/degrees-of-lewdity.git" did not exist on "5ec392d9c8bdf81f3a8e06ba007101ceb702918c"
The source project of this merge request has been removed.
devTools/BuildAndIPFSify.sh : Misc fixes
Compare changes
+ 15
− 1
@@ -5,6 +5,8 @@
@@ -5,6 +5,8 @@
# */15 * * * * cd ~/FC/fc-pregmod && git pull --ff-only origin pregmod-master > ~/FC/git_pull.log 2>&1
@@ -12,11 +14,22 @@ if [ "$(basename "$0")" != "post-merge" ]; then
@@ -12,11 +14,22 @@ if [ "$(basename "$0")" != "post-merge" ]; then
# add the date of the last commit to the file, but don't use colons because Windows (still?) doesn't like them
@@ -27,6 +40,7 @@ if [ -e ../resources ]; then
@@ -27,6 +40,7 @@ if [ -e ../resources ]; then