Re: Install github app to automatically close PRs on github mirror
В списке pgsql-www по дате отправления:
| От | Justin Clift |
|---|---|
| Тема | Re: Install github app to automatically close PRs on github mirror |
| Дата | |
| Msg-id | 2e5cf1959671d167e92848c973cdace5@postgresql.org обсуждение исходный текст |
| Ответ на | Re: Install github app to automatically close PRs on github mirror (Dave Page <dpage@pgadmin.org>) |
| Ответы |
Re: Install github app to automatically close PRs on github mirror
|
| Список | pgsql-www |
On 2019-07-12 00:28, Dave Page wrote: <snip> > As I noted, the only way to do that is to have the config file be in > each > individual repo on which you want the bot to run, rather than globally. > That would mean committing the .github directory to the main source > tree > :-( Could we instead fork the code that runs, and have that do the things we need? Coming from the viewpoint of "we have an app already running at the appropriate time, it just needs to operate a bit differently". + Justin
В списке pgsql-www по дате отправления:
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера