Monitoring Redmine issues by REST API.
More info in wiki
git clone https://github.com/UshakovVasilii/gnome-shell-extension-redmine-issues.git
cd gnome-shell-extension-redmine-issues
cp -r redmineIssues@UshakovVasilii_Github.yahoo.com ~/.local/share/gnome-shell/extensions/.
restart GNOME Shell (Alt+F2
, r
, Enter
) and enable the extension through gnome-tweak-tool.