Gitpod: Pull GitPod configs from user's repositories

[nugend]

The https://github.com/gitpod-io/definitely-gp repo is a great idea for getting public projects to work smoothly with GitPod. However for several reasons, there's a need to allow users to specify customized GitPod configurations that aren't global and aren't in the loaded projects' repository.

As an alternative, it would be very nice to check a user's repo list and detect if they have a "definitely-gp" repository and always prefer the config found there over the other public sources (the preference order would be: user/definitely-gp > project's .gitpod file > gitpod/definitely-gp).

This would allow the user ultimate control over the .gitpod configuration.

[AlexTugarev]

Hi @nugend! You are absolutely right, that is necessary, and we already support .gitpod files in user's repositories. 👍
You can read more on this in the docs.

[AlexTugarev]

Oh, sorry! You'd like to have your user/definitely-gp scanned for .gitpod files.

[nugend]

Yes. Unfortunately, only supporting them from the project itself and the global gitpod/definitely-gp leads to the situation where you can end up having to always rebase a commit on top of whatever work you're doing if you dislike the config that is either already in the project or that is in the global gitpod/definitely-gp.

While that's clearly not impossible, it's a bit annoying. Do you see any problem with checking for user/definitely-gp first? I hope it's not too big of a request.

[meysholdt]

I like the idea of user/definitely-gp. Additionally to what @nugend mentioned I like that it enables the following process:

1. fork gitpod/definitely-gp
2. add/modify and test .gitpod files in user/definitely-gp (which is the fork)
3. submit a PR to gitpod/definitely-gp :)