Retire git repos on Freedesktop
Retire git://people.freedesktop.org/~chadversary/waffle and waffle-web by:
- Announce on the mailing list that the repos have moved to github.
But the website hasn't... yet. - Push commits to each repo that delete all files except a README that directs people to the new repos.