diff options
| author | Michael Gattozzi <mgattozzi@gmail.com> | 2019-12-11 04:48:24 +0000 |
|---|---|---|
| committer | Michael Gattozzi <mgattozzi@gmail.com> | 2019-12-11 04:48:48 +0000 |
| commit | 618a71cd34c6751de9f678993750b63e74c5009f (patch) | |
| tree | 054781d775468d52aa2987b5f327cc1d8a369079 | |
| parent | 9b3f216f66d5d3b2b37dd670b81de41da0f97bd0 (diff) | |
Add post-receive hook to dev-suite
| -rwxr-xr-x | .dev-suite/hooked/post-receive | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.dev-suite/hooked/post-receive b/.dev-suite/hooked/post-receive index efcbaec..fb6b709 100755 --- a/.dev-suite/hooked/post-receive +++ b/.dev-suite/hooked/post-receive @@ -1 +1,2 @@ -#! /bin/bash
\ No newline at end of file +#! /bin/bash +git push github --all --force |