I have installed the following repository:
sudo add-apt-repository ppa:gnome3-team/gnome3
How do I uninstall it now? Thanks.