Hi, besides the fact that it seems questionable to work on some packaging which was not touched for nearly 4 years (so some status update of the maintainers would be welcome) I stumbled upon another broken Git repository when trying to fix things the machine readable gatherer was warning about problems:
$ git push Counting objects: 7, done. Delta compression using up to 2 threads. Compressing objects: 100% (4/4), done. Writing objects: 100% (4/4), 467 bytes, done. Total 4 (delta 3), reused 0 (delta 0) remote: *** Project description file hasn't been set remote: error: hook declined to update refs/heads/master To git+ssh://git.debian.org/git/debian-science/packages/isabelle.git ! [remote rejected] master -> master (hook declined) error: failed to push some refs to 'git+ssh://git.debian.org/git/debian-science/packages/isabelle.git' $ git diff HEAD^ HEAD diff --git a/debian/changelog b/debian/changelog index 320d8ec..84fd21d 100644 --- a/debian/changelog +++ b/debian/changelog @@ -17,7 +17,7 @@ isabelle (2008-4) UNRELEASED; urgency=low * isabelle package now architecture: all * install heaps into /usr/lib - -- + -- Lionel Elie Mamane <[email protected]> Wed Aug 13 01:52:47 2008 +0200 isabelle (2008-3) unstable; urgency=low Commit log is commit a8826b910704cc01bfb1a12a04bae432577ad8ab Author: Andreas Tille <[email protected]> Date: Wed Jun 13 11:11:17 2012 +0200 Fix changelog entry to enable machine readable parser obtaining the information it needs Kind regards Andreas. -- http://fam-tille.de -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
