GitLab Development Kit merge requestshttps://staging.gitlab.com/gitlab-org/gitlab-development-kit/-/merge_requests2014-10-06T08:36:13Zhttps://staging.gitlab.com/gitlab-org/gitlab-development-kit/-/merge_requests/23[WIP] Update gitlab and gitlab-shell repos in Makefile2014-10-06T08:36:13ZAchilleas Pipinellis[WIP] Update gitlab and gitlab-shell repos in MakefileAFAIK, currently there is no reference how to update the source files of `gitlab` and `gitlab-shell`. I gave this a brief test and it works. If anyone can also test this it would be cool. If we decide to merge it, a section in README wil...AFAIK, currently there is no reference how to update the source files of `gitlab` and `gitlab-shell`. I gave this a brief test and it works. If anyone can also test this it would be cool. If we decide to merge it, a section in README will be added as well.username-removed-5302username-removed-5302