home.md

@@ -64,4 +64,21 @@ Once pushed, you can then create a pull request as described above. You can retu
 
 ### Review phase
 ## Reading resources
-Along the way we collected a couple of useful links, the list which you can find [HERE](reading_resources).
\ No newline at end of file
+Along the way we collected a couple of useful links, the list which you can find [HERE](reading_resources).
+
+
+### deleting unused branches.
+Typically, your branch can be deleted when it is successfully merged with master. In case we find unused branches, please follow this procedure:
+Unused branches deleted for now, but might move this back to 'development' if needed again. 
+
+- Check with the last person that committed on the branch to ask if it should be merged into master or rather just deleted without worrying about the changes.
+
+- to delete locally
+`git branch -d <branch>`
+
+- to delete remotely 
+`git push origin --delete <branch>`
+
+- Some links on the topic:
+   - https://stackoverflow.com/questions/14005854/what-to-do-with-branch-after-merge
+   - https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/
\ No newline at end of file