#######################
More on github workflow
#######################

* reviewing code;
* raising issues;
* responding to issues with pull requests.