@@ -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