Yet another broken git repository: isabelle
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 <lionel@mamane.lu> Wed Aug 13 01:52:47 2008 +0200
isabelle (2008-3) unstable; urgency=low
Commit log is
commit a8826b910704cc01bfb1a12a04bae432577ad8ab
Author: Andreas Tille <tille@debian.org>
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
Reply to: