Re: Yet another broken git repository: isabelle
On Wed, Jun 13, 2012 at 04:08:55PM +0200, Andreas Tille wrote:
> On Wed, Jun 13, 2012 at 03:44:36PM +0200, Lionel Elie Mamane wrote:
>>> Would you mind fixing the Git repository anyway
>> I don't know what's wrong with it. Your guess is as good as mine.
> Are you able to commit the change I proposed (which is just mentioning
> author and date of the last change which I obtained from git log).
Yes:
$ git clone
ssh://lmamane@vasks.debian.org/srv/git.debian.org/git/debian-science/packages/isabelle.git
Cloning into isabelle...
remote: Counting objects: 4079, done.
remote: Compressing objects: 100% (2566/2566), done.
remote: Total 4079 (delta 1444), reused 4079 (delta 1444)
Receiving objects: 100% (4079/4079), 10.31 MiB | 1.15 MiB/s, done.
Resolving deltas: 100% (1444/1444), done.
$ cd isabelle/
## from MUA pipe to patch
$ git commit -a --author='Andreas Tille
<tille@debian.org>' -m 'Fix changelog entry to enable machine readable
parser obtaining the information it needs'
[master 43de953] Fix changelog entry to enable machine readable parser
obtaining the information it needs
Author: Andreas Tille <tille@debian.org>
1 files changed, 1 insertions(+), 1 deletions(-)
$ git push
Counting objects: 7, done.
Delta compression using up to 2 threads.
Compressing objects: 100% (4/4), done.
Writing objects: 100% (4/4), 492 bytes, done.
Total 4 (delta 3), reused 0 (delta 0)
To ssh://lmamane@vasks.debian.org/srv/git.debian.org/git/debian-science/packages/isabelle.git
7ecb029..43de953 master -> master
--
Lionel
Reply to: