unique repository identifiers

Fix issue #4