I have added myself to the team list and assigned myself a task, being Kill developer.gnome.org and redirect wherever appropriate.
As I understand it developer.gnome.org needs to be transferred to the live.gnome.org domain. However I believe the API references and dev guides will be added to the library.gnome.org. I would suspect links would be made from the developer information when on live.gnome.org to the library.gnome.org. Can you confirm this decision is correct, before I begin?