It would be nice to have a 9p implementation for github issues, which would automatically mount the issues from github of the current git repo using the github api. Then you'd be able to use the bug tool from the command line in a non-distributed manner (at least on Plan 9) to manage public issues.
There would probably need to be some safety net to make sure switching branches that have a issues directory doesn't create github issues
It would be nice to have a 9p implementation for github issues, which would automatically mount the issues from github of the current git repo using the github api. Then you'd be able to use the bug tool from the command line in a non-distributed manner (at least on Plan 9) to manage public issues.
There would probably need to be some safety net to make sure switching branches that have a issues directory doesn't create github issues