devhub-tud/DevHub — pull request #109 by michaeldejong (2013-02-15 20:22:45+00:00)
Title: SSH key interface improved. Invalid keys can no longer be pushed.

The problem was that even though the button was visually disabled, the form was functionally not disabled. This allowed users to add invalid SSH keys to gitolite. The server side checking of the SSH key was also missing. This has been added.