tool to notify about lately merged pull requests; + bugs fixes