diff options
| author | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2016-11-17 23:18:40 +0100 |
|---|---|---|
| committer | Rafael G. Martins <rafael@rafaelmartins.eng.br> | 2016-11-17 23:18:40 +0100 |
| commit | fc52952914747dc937c805baa211a251a795b847 (patch) | |
| tree | a32459b3bc63106dc049710b0b60878f253a7767 /man/index.txt | |
| parent | 984fa87451c9dd3ef2d9ec7976af97ce88bac6d7 (diff) | |
| download | blogc-fc52952914747dc937c805baa211a251a795b847.tar.gz blogc-fc52952914747dc937c805baa211a251a795b847.tar.bz2 blogc-fc52952914747dc937c805baa211a251a795b847.zip | |
git-receiver: allow users to re-run the last successful build
running the pre-receive hook manually on the server will re-run the last
successful build.
Diffstat (limited to 'man/index.txt')
0 files changed, 0 insertions, 0 deletions