Git practices

[cyrildewit]

Git contains a lot of features. We should find out what the best practises are. You can for example merge branches or rebase them. Both have pros and cons.

There are also professional aspects to using git. For example: we should ALWAYS regular push our commits to the remote repository so in case anything happens, it can always be found back. It also gives other developers or project managers insights in what people are doing. Jira from Atlassian makes this really easy, so we maybe need to find a way to get the same insights here.