3 # usage: edit <PROJECT> - edit a git repository named PROJECT.git
4 # this command will edit some settings for the repo and send an email.
10 if "$(git --git-dir="$repodir" rev-parse --is-bare-repository)" = true
18 function edit_desc
() {
20 echo "modifying description for \"${PROJECT}.git\""
21 echo -n "Describe your project in one line: "
23 cd ${GITDIR}/${PROJECT}.git