[BLUEJ-595] Implement cancel operation
Currently, BlueJ has a mecanism to cancel an ongoing operation in a repository. It is not very clear how to do this in jGit. This method need to be implemented.
Issue metadata
- Issue type: Sub-task
- Priority: Medium
- Parent issue: [BLUEJ-363] Git support
- Fix versions: 4.0.0preview