git checkout master
git pull https://gitee.com/weijin-deng/gnome-shell-extensions.git master
git push origin master
