fix paragraph order authored by Nicole Eichert's avatar Nicole Eichert
......@@ -62,11 +62,6 @@ $ git push origin <bug_name> # push the changes to the repository
```
Once pushed, you can then create a pull request as described above. You can return whatever feature you were implementing by running `git checkout <feature_name>`.
### Review phase
## Reading resources
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.
......@@ -79,6 +74,7 @@ Unused branches deleted for now, but might move this back to 'development' if ne
- 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
### 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