Несмотря на то, что наилучшим процессом было бы своевременное рассмотрение, в нашей компании есть варианты использования, когда PR могут зависать более года.
Я искал в ваших книгах и фейсбукахна межсетях безрезультатно.
Кто-нибудь знает, есть ли способ заставить GitHub PR истечь и автоматически закрыться через определенный промежуток времени?
В качестве альтернативы, если github отправит напоминание послеопределенное количество времени также будет приемлемым.