+ [2017-03-16T17:02:02Z] kbs 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.)
+ [2017-03-16T17:03:10Z] kbs I suppose in theory you could ask them to add a hook to their local branches that could script out some convenient indicator of their activity, but fundamentally git is distributed - so "local" work isn't visible externally.
+ [2017-03-16T17:07:31Z] M-tom That's kinda what I'd guessed, but I wanted to validate with some people who had more github experience
+ [2017-03-16T17:28:50Z] M-tom Thanks :)
+ [2017-03-16T17:29:00Z] kbs np, good luck

message no. 165787

Posted by M-tom in #github at 2017-03-16T16:53:46Z

I understand PRs will appear once a branch is ready to merge, and that PR might mention some issue ids.
+ [2017-03-17T01:55:13Z] Lvl4Sword What are the paid Github tiers like? I can only seem to find a $7 personal that has private repos
+ [2017-03-17T07:46:53Z] Kartagis how can I report what seems to be a typo on the website?
+ [2017-03-17T09:32:27Z] psprint So many days waiting for syntax highlighting to again work on Wikis
+ [2017-03-17T09:34:57Z] selckin end of the world