server/post-receive-assign-commit-numbers

   1 #!/bin/sh
   2
   3 . $(dirname $0)/functions
   4
   5 while read oldrev newrev refname ; do
   6         set_new_commits
   7         echo "$new_commits" | git rev-list --reverse --stdin | while read commit ; do
   8                 touch "$GIT_DIR/commitnumbers"
   9                 cat "$GIT_DIR/commitnumbers" | grep --quiet "$commit"
  10                 if [ $? -ne 0 ] ; then
  11                         echo "$commit" >> "$GIT_DIR/commitnumbers"
  12                         number=$(cat "$GIT_DIR/commitnumbers" | grep --line-number "$commit" | grep -oP "^\d+(?=:)")
  13                         git tag "r/$number" "$commit"
  14                 fi
  15         done
  16 done
  17