|
|
|
# The simulation does not run through the whole script
|
|
|
|
You may have to close opened figures to proceed with the simulation, depending on your specific computer configuration.
|
|
|
|
|
|
|
|
# I can't push because my commit messages don't follow the push rules. What can I do ?
|
|
|
|
You can do a git interactive rebase following the steps explained [here](https://stackoverflow.com/a/179147). This enables you to squash several commits together and write a new commit message which sums up the changes in the code, this time following the push rules.
|
|
|
|
|
|
|
|
# How do I remove branches that were deleted from the remote ?
|
|
|
|
To prune remote branches, run : `git fetch -p`
|
|
|
|
To remove the local corresponding local branch, manually delete it : `git branch -d <branch-name>` (if it does not work and you are SURE you can delete the branch, use `git branch -D <branch-name>` to force delete it) |
|
|
\ No newline at end of file |
