I don't know how we ended up with version specific gnome tags but we should probably merge gnome3 into gnome now.

Come to think of it I don't see why we need gnome-shell either.

Thoughts?

I don't know how we ended up with version specific gnome tags but we should probably merge gnome-shell and gnome3 into gnome now.

It's been long enough and all it does is cause confusion, perhaps consider cleaning up gnome-panel too.