More debugging libs push

This commit is contained in:
andrewc
2023-10-24 13:51:47 +10:00
parent 2747320f39
commit 1c2d4d73a0

View File

@@ -125,6 +125,9 @@ image:
git remote set-url origin https://ci_push:$TOKEN@gitlab.com/Micromelon/education/hardware/$REPO git remote set-url origin https://ci_push:$TOKEN@gitlab.com/Micromelon/education/hardware/$REPO
git fetch --all git fetch --all
CURR_B=$(git name-rev --name-only $(git rev-parse HEAD)) CURR_B=$(git name-rev --name-only $(git rev-parse HEAD))
git rev-parse HEAD
git branch
git remote get-url origin
echo $CURR_B echo $CURR_B
git checkout $CURR_B git checkout $CURR_B
git commit --allow-empty -m "Merge" git commit --allow-empty -m "Merge"