☰

Add banner to github PRs for easier copying of the PR's head ref

What the title says

نووسەر
HappyViking
Daily installs
0
Total installs
0
Ratings
0 0 0
وەشان
1
Created
2024-03-09
Updated
2024-03-09
Size
3.04 KB
مۆڵەت
MIT
Applies to

Add banner to github PRs for easier copying of the PR's head ref