Deleting f20-gnome-3-12 copr

[Richard Hughes]

I'm planning to delete
https://copr.fedoraproject.org/coprs/rhughes/f20-gnome-3-12/ this
week. The original description always had "This COPR will be updated
until Fedora 21 has been released or until the entropy death of the
universe, whichever happens first." so I don't altogether feel too
guilty about abandoning it. Does anyone have any objections or wants
to volunteer to take it over before I delete the repo?

Richard