[Iverilog-announce] GIT mirror changes

[Icarus V. a. <ive...@li...>]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1


The Icarus Verilog git repository has been mirrored as repo.or.cz
for a while now, but the mirroring feature for that service seems
to have broke months ago and I can't get it going again. Nor can
I get the administration worked out so that I can automatically
push to the iverilog.git on that service.

So I've removed that mirror from the Icarus Verilog documentation.
Unfortunately, I cannot figure out how to remove the Icarus Verilog
copy from the repo.or.cz host, so it will sit there obsolete.
Hopefully, it won't cause confusion.

I've set up a new mirror on github, at:

~   <git://github.com/steveicarus/iverilog.git>

The github service doesn't have an automatic pull-mirroring feature,
but I am able to get non-interactive push working, so this git mirror
is updated daily by pushes from icarus.com. (I've seen at least 1
automatic update work:-)

And of course, the principle git repository on icarus.com is open
and available as always.

- --
Steve Williams                "The woods are lovely, dark and deep.
steve at icarus.com           But I have promises to keep,
http://www.icarus.com         and lines to code before I sleep,
http://www.picturel.com       And lines to code before I sleep."
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.4-svn0 (GNU/Linux)
Comment: Using GnuPG with SUSE - http://enigmail.mozdev.org

iD8DBQFIKwzLrPt1Sc2b3ikRAon4AJ9wyrSmax0mFhpwG4KbOWvfK0lQCwCeJcxG
bYU9bUgmrbp9Ck+xoyraFMg=
=kLNS
-----END PGP SIGNATURE-----