Improving group projects

[16854219]

Hi,

I'm currently using a private github repository for group projects, I was wondering if it would be possible to add a plugin or dedicated interface to update repository files or push changes.

It would also be interesting to see in real time if a user in the group is working on a file. I know the idea is a bit strange, but I find that no software really allows you to make group projects with file modification tracking at the moment.