関連ワード:  collaborative code editor github    collaborative code editor project github    real time collaborative code editor github    real time collaborative code editor project github    how to collaborate on github    code editor name    how to use github to collaborate    what is collaborative editing    how to collaborate on github repository