]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b7de3fe) | patch
github: Add `backport` label if pull request has `Mergifyio backport` comment 12335/head
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 18 Nov 2022 07:09:29 +0000 (09:09 +0200)
committerDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 18 Nov 2022 07:10:45 +0000 (09:10 +0200)
commitbd22ae9ed483402355e8a59629317284059d634e
treeef2d701015e037f88b4d0cc7e575288fba21d5betree | snapshot
parentb7de3fe8a9907d37f9f7726a87e488de7f1f9ec4commit | diff
github: Add `backport` label if pull request has `Mergifyio backport` comment

Useful to filter out which PRs should be backported yet.

Signed-off-by: Donatas Abraitis <donatas@opensourcerouting.org>
.github/labeler.yml [new file with mode: 0644] blob
.github/workflows/labeler.yml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.