Coding standards/Git usage

Hello all,

My team and I will be contributing to the Theia repository soon (we already have one MR and are planning more).

We would like to ensure we work well in your ecosystem and we don’t mess up your procedure when it comes to forking/merging/raising MRs, so are there any things we need to be aware of?

Right now I see us updating a custom fork with branches for features and then raising a MR to merge back to your master, but is there anything specific we need to do? Should we rebase rather than pull? Are there naming conventions we need to stick to?

Please let us know, so we can start contributing in earnest.

Thanks,

Dave Thompson

See n°10: https://github.com/eclipse-theia/theia/blob/master/doc/pull-requests.md#review-checklist