+[2017-03-16T17:02:02Z]kbsI 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]kbsI 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-tomThat'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-tomThanks :) +[2017-03-16T17:29:00Z]kbsnp, good luck
kbs: yes, I guess that's the github version of it
+[2017-03-17T01:55:13Z]Lvl4SwordWhat are the paid Github tiers like? I can only seem to find a $7 personal that has private repos +[2017-03-17T07:46:15Z]Kartagisahoy +[2017-03-17T07:46:53Z]Kartagishow can I report what seems to be a typo on the website? +[2017-03-17T09:32:27Z]psprintSo many days waiting for syntax highlighting to again work on Wikis +[2017-03-17T09:34:57Z]selckinend of the world