+ if [ "$(which git)" ]; then
+ git -C "$_DATA" add \
+ -- "pages/$edit_page/#page.md"
+ git -C "$_DATA" commit -m \
+ "Page # ${edit_page} # updated by user @ ${USER_NAME} @" \
+ -- "pages/$edit_page/#page.md"
+ fi
+
+ REDIRECT "${_BASE}${PATH_INFO%\[edit\]}"
+