Gnome shell extention to show open githubPull requests