Create github bot that deletes branches from pull requests that are merged

XMLWordPrintable

    • Type: Task
    • Resolution: Won't Do
    • Priority: L3 - Default
    • 2.7.0-alpha1, 2.7.0
    • Affects Version/s: None
    • Component/s: backend
    • None

      AT:

      • create github bot that deletes branches from pull requests that
        • are merged and
        • older than 1 week
        • not protected
          (** maybe even that the related JIRA ticket is closed)

            Assignee:
            Unassigned
            Reporter:
            Johannes
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated:
              Resolved: