create a new dir for 'parked' RFC's
This commit is contained in:
parent
7a45d6df13
commit
5beeba0b7f
2 changed files with 9 additions and 1 deletions
|
|
@ -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
|
||||
|
|
|
|||
1
doc/devel/rfc_parked/DIR_INFO
Normal file
1
doc/devel/rfc_parked/DIR_INFO
Normal file
|
|
@ -0,0 +1 @@
|
|||
design proposals which are deferred
|
||||
Loading…
Reference in a new issue