Andrea Bolognani a79ae3b9a9 ci: Move source directory under $(CI_USER_HOME) ...

Now that we have a home directory for the user, storing the
source there rather than in a custom top-level directory is
the obvious choice.

Later on we're also going to add some more files related to
builds, and storing everything in the user's home directory
will keep things nice and tidy.

Signed-off-by: Andrea Bolognani <abologna@redhat.com>
Reviewed-by: Ján Tomko <jtomko@redhat.com>

2019-08-21 18:58:19 +02:00

..

Makefile

ci: Move source directory under $(CI_USER_HOME)

2019-08-21 18:58:19 +02:00