diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2019-02-17 19:07:37 +0000 |
|---|---|---|
| committer | Edward Thomson <ethomson@edwardthomson.com> | 2019-02-17 19:07:37 +0000 |
| commit | fbfa41a1affeb2f6d8cb1b260d10281bf4de518f (patch) | |
| tree | 9ded9e7e71465d25832b0b19f343b26c7ccd39fe /include/git2 | |
| parent | b5b3aa93957b80e14f8175d3e9d2c7aa3e9008de (diff) | |
| download | libgit2-fbfa41a1affeb2f6d8cb1b260d10281bf4de518f.tar.gz | |
ci: publish documentation on mergeethomson/ci_docs
When a commit is pushed or merged into one of the release branches
(master, maint/*) then push the documentation update to gh-pages.
Diffstat (limited to 'include/git2')
0 files changed, 0 insertions, 0 deletions