|
|
16aa49d138
|
ci: Don't fetch submodules when fetching PRs
|
2021-11-16 22:26:54 -05:00 |
|
|
|
84934693cf
|
ci: Print traceback on patch merge failure
|
2021-11-08 13:36:05 -05:00 |
|
|
|
0e58bfedfd
|
ci: Check additional pages on GitHub
|
2019-10-01 21:54:26 -04:00 |
|
|
|
7d46416a16
|
ci: Iterate through GitHub pages for pull requests
|
2019-10-01 21:38:09 -04:00 |
|
|
|
e6f3aad84e
|
ci: Populate patreon PRs on public repository
|
2019-09-30 09:29:28 -04:00 |
|
|
|
3f52bb5677
|
ci: Optionally prepend commit messages with environment variable
|
2019-09-26 09:29:15 -04:00 |
|
|
|
ab8d122384
|
ci: Add private mergebot script
Uses Azure instead of GitHub
|
2019-09-26 09:28:59 -04:00 |
|
|
|
bbc5b5d62d
|
Finalize Azure Pipelines Definitions
d
|
2019-07-13 21:34:40 -04:00 |
|
