From 5beeba0b7fccd08f5890673be592599aa33a58f9 Mon Sep 17 00:00:00 2001 From: Christian Thaeter Date: Thu, 14 Apr 2011 02:51:00 +0200 Subject: [PATCH] create a new dir for 'parked' RFC's --- admin/rfc.sh | 9 ++++++++- doc/devel/rfc_parked/DIR_INFO | 1 + 2 files changed, 9 insertions(+), 1 deletion(-) create mode 100644 doc/devel/rfc_parked/DIR_INFO diff --git a/admin/rfc.sh b/admin/rfc.sh index 19e6ff41a..65fdd76c6 100755 --- a/admin/rfc.sh +++ b/admin/rfc.sh @@ -244,7 +244,14 @@ function process_file() git add "$file" fi ;; - *Parked*|*Dropped*) + *Parked*) + if [[ "$path" != "./doc/devel/rfc_parked" ]]; then + git mv "$file" "./doc/devel/rfc_parked" + else + git add "$file" + fi + ;; + *Dropped*) if [[ "$path" != "./doc/devel/rfc_dropped" ]]; then git mv "$file" "./doc/devel/rfc_dropped" else diff --git a/doc/devel/rfc_parked/DIR_INFO b/doc/devel/rfc_parked/DIR_INFO new file mode 100644 index 000000000..2025e64bd --- /dev/null +++ b/doc/devel/rfc_parked/DIR_INFO @@ -0,0 +1 @@ +design proposals which are deferred