2019-03-22 03:35:01 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -euv
|
2019-03-23 13:12:22 +02:00
|
|
|
cd $(dirname "$0")
|
2019-03-22 03:35:01 +02:00
|
|
|
|
2019-03-25 02:25:48 +02:00
|
|
|
export GIT_REVISION=$(git rev-parse HEAD)
|
|
|
|
|
2019-03-23 13:12:22 +02:00
|
|
|
(cd nimbus && make push)
|
2019-03-22 03:35:01 +02:00
|
|
|
|