summaryrefslogtreecommitdiff
path: root/github-management
diff options
context:
space:
mode:
authorQuentin Barrand <quentin@quba.fr>2022-03-14 19:02:45 +0100
committerGitHub <noreply@github.com>2022-03-14 19:02:45 +0100
commit22cee7777b7c5876cd868f343f0096a36c8a57a5 (patch)
treea5e629b60129a49f60f0a6b4495939f230eec136 /github-management
parent74d7da2b9ce8bd25bd8e9a8d92aa4b6d88e3ab22 (diff)
Rename `sro` to `sig-node-sro`.
Diffstat (limited to 'github-management')
0 files changed, 0 insertions, 0 deletions