Closed kad-michij closed 4 months ago
Ah ... je had eerst een git pull
moeten doen (of de Sync
knop in VSCode) voordat je een branch ging maken. Nu zitten er commits (met wijzigingen) in de main
branch ... die jouw lokale main
branch nog niet heeft ... en dus zitten die verschillen in jouw PR. Maakt niet echt uit ... maakt hoogstens de historie van commits wat rommeliger. Nou ja, als dat alles is 🙂
(de beste oplossing is dat je dit lokaal bij jou oplost, maar die instructies vind ik te lang om op te schrijven 😉 ik los het nu wel even op met een nieuwe commit ... met dus de updates uit de main
branch van GitHub. Nieuwe commit coming up ... ! )
@kad-michij , wil je zelf nog even controleren of dit de wijzigingen waren die je bedoelde te maken?
@marcvanandel ik twijfel of het helemaal goed is gegaan maar ik heb met name de samenvatting van Hans aangepast en een kleine aanpassing aan de inleiding/index van federatieve bevraging.