diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2021-11-09 09:03:06 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-09 09:03:06 -0500 |
| commit | 51f6f15d710c39c6844ceef58efea6db93c46d61 (patch) | |
| tree | f913c9c8dc0b660be1b7b636ee1fc5aecec714a0 /src/commit_graph.h | |
| parent | 358a60e1b46000ea99ef10b4dd709e92f75ff74b (diff) | |
| download | libgit2-51f6f15d710c39c6844ceef58efea6db93c46d61.tar.gz | |
ci: only update docs on pushethomson/docs_ci
Only update the documentation on a `push`. We were previously updating the documentation only when not in a `pull_request`, which meant that we would push documentation updates in manual build triggers.
Diffstat (limited to 'src/commit_graph.h')
0 files changed, 0 insertions, 0 deletions