[Bug 1401269] idris-0.99 is available

[Red Hat Bugzilla]

https://bugzilla.redhat.com/show_bug.cgi?id=1401269

--- Comment #1 from Upstream Release Monitoring  ---
Rebase helper failed.
See logs and attachments in this bugzilla

RAN: '/usr/bin/git clone http://pkgs.fedoraproject.org/cgit/rpms/idris.git
/var/tmp/thn-rh9tXkqG'

STDOUT:
Cloning into '/var/tmp/thn-rh9tXkqG'...

STDERR:
error: garbage at end of loose object
'89ff666d935e26f7eae2b5e67ebab77d277f03d1'
fatal: loose object 89ff666d935e26f7eae2b5e67ebab77d277f03d1 (stored in
/var/tmp/thn-rh9tXkqG/.git/objects/89/ff666d935e26f7eae2b5e67ebab77d277f03d1)
is corrupt