[Olsr-dev] Possible to fix errors in git repo?

[Henning]

Another update... I managed to write a script for the pre-receive hook for the 
server that will prevent an upload of the old commits again.

That should help to solve out problem. I think I will wait until end of week 
if someone else has an objection to the change... then set the repository to 
readonly.

And at the next weekend we will migrate to the new one.

Henning Rogge

#!/bin/sh
while read oldrev newrev refname
do
  # Do something with $oldrev $newrev $refname
  num=$(git rev-list $oldrev..$newrev|egrep -c 
"(416bcb98541f2b67a2a3abed5332a2b2cecb79a8|
693bbb3be4d43ac4dc928b83a952b007033fbe5c|
ced1a09de6276b2bb8067a2e07a6ff2b7c75f3fa|
d2b500aecf6da7dac8af1a13e52ccd623a1c9c67|
e2446767975ee66658122e1fc437158ebec7693a)")
  if [ "$num" != "0" ]
  then
    echo "You tried to push one of the damaged commits we removed in 2011."
    echo "Please contact the olsr-dev or olsr-user mailinglist to learn how"
    echo "to remove them."
    exit 1
  fi
done

exit 0