message no. 165790
Posted by kbs in #github at 2017-03-16T17:02:02Z
I don't think there's a way for github to automatically know what a dev is working on, without them explicitly indicating it in one way or another on the github site itself. (as you say, either marking an issue as a WIP, or submitting a pull request.)