Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Reference key is unique #55

Merged
merged 2 commits into from
May 3, 2016
Merged

Reference key is unique #55

merged 2 commits into from
May 3, 2016

Conversation

tuomokar
Copy link
Collaborator

@tuomokar tuomokar commented May 2, 2016

Shows the error message if user tries to give a key that is already in use when trying to create a new reference or when trying to edit a reference (in that case checks if some other reference has the given key so it can be left still).

@coveralls
Copy link

Coverage Status

Coverage decreased (-0.05%) to 96.23% when pulling 9f5524e on tuomokar into 7cebb1a on master.

@tuomokar tuomokar merged commit 76b5821 into master May 3, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants