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