diff options
author | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:54:15 +0200 |
---|---|---|
committer | Pietro Albini <pietro@pietroalbini.org> | 2019-08-14 14:54:15 +0200 |
commit | bef57d899ca64c84f1491756ff58d69b954f12d9 (patch) | |
tree | aef8a23885b3b37797c153521419563ae9f6ac22 /people | |
parent | 5a5efb29d959239741b9defefed06d544249d8dd (diff) |
ci: only deploy on github pages from master
Diffstat (limited to 'people')
0 files changed, 0 insertions, 0 deletions