Cool! But REPOSITORY_NAME is not clear, and ".git" suffix doesn't work for me; I get a "not found" error. The advice about using "https://<username>:<HTTP_Password>@review.tizen.org/gerrit/p" doesn't work, either: authentication of credentials fails. What works instead is

How to find out the correct URI for the clone command? Use the "project name" fields from package list. (Use Chromium browser to view this package list; the javascript causes a fully patched Firefox to hang.)

Continuing with the instructions, "sudo apt-get install mic" worked fine, but "sudo apt-get install gbs" failed because it depends on perlapi-5.14.2, which in Debian is provided by perl-base. So I had the libraries gbs needs already installed, but couldn't figure out how to tell the package manager.