Change username

This commit is contained in:
johltn
2020-11-05 09:04:01 +01:00
parent 35a668f3a8
commit e57ffa9447
+2 -2
View File
@@ -78,12 +78,12 @@ script:
# - grep 0$ statuses
# - grep 0$ statuses | wc -l
after_success:
- pwd
- pwds
- cd ../../docs
- pwd
- ls -al
- MESSAGE=$(git log --oneline -1)
- git clone https://IfcOpenBot:$GITHUB_PASSWORD@github.com/IfcOpenShell/docs
- git clone https://johltn:$GITHUB_PASSWORD@github.com/IfcOpenShell/docs
- cd docs
- sudo mv ../output/* .
- git config user.email "${GITHUB_EMAIL}"