#
DIFF.BLOG
New
Following
Discover
Jobs
More
Top Writers
Suggest a blog
Upvotes plugin
Report bug
Contact
About
Sign up
The home for great developer writing.
We surface the best developer writing from thousands of independent blogs, updated daily.
Join Diff.blog
TOPICS
github: Repository admins can archive pull requests
1
·
Sujith Quintelier
·
July 17, 2026, 5:33 a.m.
github
pull-requests
Repository Management
Summary
GitHub repository admins can now archive pull requests, making them closed and locked, allowing for removal from public view without deletion.
Read full post on quintelier.dev →
MORE POSTS LIKE THIS
github: Repository member role labels now in pull request list view
Sujith Quintelier ·
Apr 9, 2026
github
pull-requests
How to Use GitHub Search Like a Pro
freeCodeCamp.org ·
May 21, 2026
github
Open Source
GitHub finally introduces stacked pull requests, devs have thoughts
Thestack ·
Apr 14, 2026
developer
github
just apply it
Thiago Perrotta ·
Feb 4, 2026
Dev
serenity
We have proof automation now
Adam Langley ·
Jul 26, 2026
dependently-typed languages
proof automation
Exploiting Volvo/Eicher’s fleet management platform to gain control over all users and vehicles
Eaton Works ·
Jul 27, 2026
Cybersecurity
Vulnerability Exploitation
Discover more posts →
AUTHOR
RECENT POSTS FROM THE AUTHOR
Choose how you want to continue.
Continue with GitHub
Continue with Google