HTTPS clone URL
Subversion checkout URL
A Trash icon in your panel.
Code reuse via copy/paste... For shame!!! Maybe I should merge the two projects as they are so similar.
A minimalist Trash management extension for the Gnome Shell. It allows you to empty and open the Trash folder. It hides completely when the Trash is empty, and lists the files in the trash bin in the panel menu. To install, extract the archive or copy the folder to ~/.local/share/gnome-shell/extensions/ and restart the shell.