You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
nadia2603 edited this page Oct 15, 2026
·
5 revisions
branch
git checkout develop
git checkout -b ticketnummer-beschrijving
tussendoor uv pip install -r requirements/dev.txt om bij te blijven
source env/bin/activate om in de env te komen
commit
git status
git add .
git status
pre-commit run -a
git commit -m "beschrijving"
git status
git push
als dit nodig is git push --set-upstream origin je branch (staat er ook bij in de terminal)
wachtwoord
link voor pull request anders naar github pull request
issue linken aan pull request
pull request op draft zetten
nog niemand als reviewer zetten pas als de checks goed zijn
pull request uit draft halen
Om bij te blijven met de commits en je zit op een branch waar de commits niet goed staan met wat er op github staat en local op je laptop dan moet je eerst git pull en als dat niet werkt git reset --hard origin/brach naam
Als je per ongeluk iets heb gecommit wat niet moest en je heb nog verder niks in dat bestand veranderd.
Zorg dat je lokaal in op de branch zit waar je de commit heb gemaakt
git checkout origin/develop -- src/open_inwoner/path van het bestand