Problemi di GitHub come repository separato?

Question

C'è già uno API for GitHub issues, ma qualcuno è riuscito a farlo a doppio senso? Ovvero:

git clone git@github.com:user/repo.issues.git # Like for wiki 
editor repo.issues/1.json 
git push -u origin master 

E voilà, un numero 1 nuovo/aggiornato!

Potrebbe utilizzare un hook di pre-ricezione per convalidare prima di accettare qualsiasi push, quindi la formattazione non valida non dovrebbe essere un problema.

In altre parole, c'è un modo per gestire i problemi di un progetto GitHub come un altro repo GitHub?

Answer 1

Oltre all'utilizzo dell'API, non vedo come sia possibile eseguire .

È potrebbe mettere insieme una mostruosità (personalizzato) che aggiorna un repo GitHub separata con tutti i problemi in detto repo a un intervallo predefinito (utilizzando l'API), ma dato l'impegno necessario, questo meglio la pena a voi :)