Add ENV var for External Pull Request Repository name
Problem to solve
Currently, the environment VARS available when building an External Pull Request are:
- CI_EXTERNAL_PULL_REQUEST_IID
- CI_EXTERNAL_PULL_REQUEST_SOURCE_BRANCH_NAME
- CI_EXTERNAL_PULL_REQUEST_SOURCE_BRANCH_SHA
- CI_EXTERNAL_PULL_REQUEST_TARGET_BRANCH_NAME
- CI_EXTERNAL_PULL_REQUEST_TARGET_BRANCH_SHA
This information is useful to, for example, make calls to the Github API, however it misses a very important part, which is the name of the repository, or the url.
Intended users
This will be useful for Developers who run CI/CD for external repositories
User experience goal
Making requests back to Github API to update statuses, or make extra commits, or anything that needs us to match the gitlab repo back to their github repo.
Proposal
Can we add CI_EXTERNAL_PULL_REQUEST_REPOSITORY or CI_EXTERNAL_PULL_REQUEST_REPOSITORY_URL