Не реальный вопрос, скорее предложение, если кто-то сталкивался с такими же потребностями.
Предположим, у вас есть GitHub-репозиторий, в котором много участников делают пиар. Каковы лучшие инструменты для автоматического слияния PR со следующим условием:
- в течение некоторого времени нет активности (например, 10 дней), закрывайте PR, не объединяя его, ЕСЛИ автор НЕ передает права на репо, и объединяйте его, ЕСЛИ автор имеет права
Я нашел несколько полезных инструментов, таких как github APP:
- бульдозер , который объединяет PR на основе условий (но не время интервалы)
- policy-bot , который помечает PR как одобренный / не одобренный в зависимости от некоторых условий
- объединить , что автоматически объединяет PR в зависимости от различных условий (опять же, нет время интервалы)
- пишите веб-крючок?
В некотором смысле, я думаю, что синергия между приложениями и другими инструментами может решить проблему, но, возможно, есть более плавный способ сделать это.
У кого-то есть предложения?