diff options
Diffstat (limited to '.envrc')
| -rw-r--r-- | .envrc | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -53,6 +53,8 @@ git config --local branchless.test.alias.lint 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Omni/Lint.hs; lint **/*' git config --local branchless.test.alias.lintfix 'export CI=1; git clean -ffdx; eval $(direnv export bash); bild Omni/Lint.hs; lint --fix **/*' git config --local branchless.test.alias.ci 'export CI=1; git clean -ffdx; eval $(direnv export bash); Omni/Ci.sh' +# use this to submit work + git config --local alias.live "push origin HEAD:live" # # end here if we are in CI [[ -n "CI" ]] && exit 0 |