Create your own branch to work on. Ask @richelbilderbeek for instructions.
This is important to keep the github clean
Nobody pushes to master. Pushing to develop is allowed but not preferred.
So just push to your own branch an ask @RafayelGardishyan or @Rijk-van-Putten or @Joshua260403 to merge your branch with develop and master
Create your own branch to work on. Ask @richelbilderbeek for instructions. This is important to keep the github clean Nobody pushes to master. Pushing to develop is allowed but not preferred. So just push to your own branch an ask @RafayelGardishyan or @Rijk-van-Putten or @Joshua260403 to merge your branch with develop and master