More debug push libs

This commit is contained in:
andrewc
2023-10-24 14:20:30 +10:00
parent 21db630938
commit 98199c71d1

View File

@@ -125,6 +125,7 @@ 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 branch --remote --verbose --no-abbrev --contains | sed -rne 's/^[^\/]*\/([^\ ]+).*$/\1/p') CURR_B=$(git branch --remote --verbose --no-abbrev --contains | sed -rne 's/^[^\/]*\/([^\ ]+).*$/\1/p')
git log
git rev-parse HEAD git rev-parse HEAD
git branch git branch
git remote get-url origin git remote get-url origin