This repository has been archived on 2024-03-23. You can view files and clone it, but cannot push or open issues or pull requests.

Zach Hilman 0e58bfedfd ci: Check additional pages on GitHub		2019-10-01 21:54:26 -04:00
..
apply-patches-by-label-private.py	ci: Iterate through GitHub pages for pull requests	2019-10-01 21:38:09 -04:00
apply-patches-by-label.py	ci: Check additional pages on GitHub	2019-10-01 21:54:26 -04:00
check-label-presence.py	Finalize Azure Pipelines Definitions	2019-07-13 21:34:40 -04:00
yuzubot-git-config.sh	Finalize Azure Pipelines Definitions	2019-07-13 21:34:40 -04:00