From 74171e8717973cb8d6a0bfcef15cee41ec53180e Mon Sep 17 00:00:00 2001 From: lassulus Date: Wed, 27 Mar 2024 08:28:25 +0100 Subject: [PATCH] mention earlier RFCs --- rfcs/0172-mergebot.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/rfcs/0172-mergebot.md b/rfcs/0172-mergebot.md index 7975750..af1686d 100644 --- a/rfcs/0172-mergebot.md +++ b/rfcs/0172-mergebot.md @@ -74,7 +74,8 @@ For now we propose that new merge strategies or significant changes to current o ## Prior Art -*To be completed* +https://github.com/NixOS/rfcs/pull/50 +https://github.com/NixOS/rfcs/pull/128 ## Unresolved Questions