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