@@ -62,11 +62,6 @@ $ git push origin <bug_name> # push the changes to the repository
...
@@ -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>`.
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.
### 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:
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.
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
...
@@ -79,6 +74,7 @@ Unused branches deleted for now, but might move this back to 'development' if ne