[tor-dev] git-rw moved hosts - new ssh host key

[Sebastian Hahn]

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

Hey there people who have repositories hosted on tpo hardware,

weasel migrated cupani to our shiny new VM server. Along with this came
a change of ssh host key, so please be ready to modify your known_hosts
file accordingly when you next push. The new ssh key fingerprint is:

ssh-rsa e7:a0:63:15:a6:d3:41:e3:cf:92:6e:78:ea:cb:d7:ee

After doing the migration, we took the opportunity to run a full
git gc --aggressive on each repository, which should result in smaller
clone sizes and generally faster clones. Take this as a reminder to
occasionally optimize your local repositories too, your pushes will
benefit and you can reclaim some lost space :)

Sorry this went through without prior notice, I hope nobody's work
was interrupted.

Let me know if there is anything amiss, we don't expect any
kind of issues tho.

All the best
Sebastian
-----BEGIN PGP SIGNATURE-----

iQEcBAEBAgAGBQJOrbUZAAoJEKlsb90UDJYb77AIAIXIW5bkuXVfOB8DEYwh93vN
ddIlxAea8QvrY8hebqHNYGC9a/GgHkgT3+fDGRLW1EsHgTb6YzpYT4Jhnrj1BKHu
37Kn1UzIyuS1X6X1CzFKJzoa6Z2Wej8lmpcOMk5m8GXE+MTMnYV/3kAZ+qsRgJOi
GLO75HIFZc4FbD/wy2xAU6it3aBMPP1wszKK30wtU0oCldo20FDeltqaXt9GlWav
jimBI+AcWBhgFr6hx7FKVLsLNlNkVEeH911E7qtDTF2lNzQAh7mHnzDU4sIZ6FhK
wTNJOV3n/eCiyOp6amNmWC9mk+5RO0qjtNsdG+0aiPcmeKPzNNeIPiH1oQFVBWc=
=rYix
-----END PGP SIGNATURE-----