 Daniel Rudolf
|
0f85f85367
Build scripts: Fix exit codes
|
9 jaren geleden |
|
Daniel Rudolf
|
32ea0508cf
_build/github-deploy.sh: Fix exit code on conflicting remote commit
|
9 jaren geleden |
|
Daniel Rudolf
|
8c24e32f10
Build scripts: Fix formatting
|
9 jaren geleden |
|
Daniel Rudolf
|
26d7d2f68e
Build scripts: Fix formatting
|
9 jaren geleden |
|
Daniel Rudolf
|
cd0e0f706f
Build scripts: Git identity must be configured before committing
|
9 jaren geleden |
|
Daniel Rudolf
|
92026a3bd0
Add static shields.io badge generator
|
9 jaren geleden |
