#7 Check that source and target Git repository are not the same
Closed: Fixed Opened by fweimer.

The branch switching which occurs during history construction will cause problems if everything is in the same repository.

Furthermore, the generated Git history should not be pushed to the dist-git server, and enforcing separate repositories will prevent that for happening accidentally.


Metadata Update from @fweimer:
- Issue close_status updated to: Fixed
- Issue status updated to: Closed (was: Open)

Metadata