suyu/.ci/scripts
Zach Hilman ab8d122384 ci: Add private mergebot script
Uses Azure instead of GitHub
2019-09-26 09:28:59 -04:00
..
common Finalize Azure Pipelines Definitions 2019-07-13 21:34:40 -04:00
format Finalize Azure Pipelines Definitions 2019-07-13 21:34:40 -04:00
linux Finalize Azure Pipelines Definitions 2019-07-13 21:34:40 -04:00
merge ci: Add private mergebot script 2019-09-26 09:28:59 -04:00
windows Finalize Azure Pipelines Definitions 2019-07-13 21:34:40 -04:00