REST endpoints to handle repository collaborators

G-Node / gin-repo

G-Node Infrastructure - Repository server

Other

1 stars 5 forks source link

REST endpoints to handle repository collaborators #56

Closed mpsonntag closed 7 years ago

mpsonntag commented 7 years ago

close #42.
adds DeleteCollaborator method to [git/repo].
changes store/repo CreateRepoto always create the [repoPath]/gin/sharing folder.
updates the [contrib/mkdata.py] script to always create the [repoPath]/gin/sharing folder.
updates gitignore to ignore profile coverage files.

coveralls commented 7 years ago

Coverage increased (+1.1%) to 38.663% when pulling 5c05d362016b055a608792d4cd130ad9db9bfb07 on mpsonntag:collaborators into e97b755ca3044ec0d071a4668a542376bae95de2 on G-Node:master.