Merge pull request #97 from NixOS/joerg-ci

link to mergebot rfc
NixOS · Jun 19, 2024 · d2d5540 · d2d5540
2 parents a5a4d4a + 0eb4511
commit d2d5540
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -6,6 +6,8 @@ Developed by Lassulus and Mic92 during #Oceansprint, we proudly introduce the
 `nixpkgs-merge-bot`. Celebrating the milestone of 5000 concurrent open pull
 requests on nixpkgs, we're enhancing the merging process with this bot! 🎉
 
+[Mergebot RFC](https://github.com/NixOS/rfcs/pull/172)
+
 ## Features
 
 This bot empowers package maintainers by granting them the capability to merge