We have developed a gitissues project tha allows to add priorities to be managed via github:
git clone https://github.com/cloudmesh/gitissues.git
cd gitissues
make run
paste http://127.0.0.1:8000/ into the browser
goto issues and update