mirror
/
NewPipe
kopia lustrzana https://github.com/TeamNewPipe/NewPipe
1
0
Forkuj 0
Kod Zgłoszenia Packages Projekty Wydania Wiki Aktywność

Add write permission to PR labeler workflow

pull/10447/head
Tobi 2023-09-24 20:24:57 +02:00 zatwierdzone przez GitHub
rodzic 1630e309fb
commit 609f0a2eee
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: 4AEE18F83AFDEB23
1 zmienionych plików z 2 dodań i 0 usunięć
Pokaż statystyki Ściągnij plik aktualizacji Ściągnij plik porównania Expand all files Collapse all files

2
.github/workflows/pr-labeler.yml vendored
Wyświetl plik

@ -1,5 +1,7 @@
name: "PR size labeler"
on: [pull_request]
permissions:
pull-requests: write
jobs:
changed-lines-count-labeler: