Register Library on Gitlab

[b707]

@jfrankl8

A request to update a repository with a commit diff should be as well.

Yes, in case if it a local repository.
To edit a repository on Github you must have an account.