Checkout Path outside $GITHUB_WORKSPACE

[ijas-m]

Hi,
Please make the checkout to use path outside the $GITHUB_WORKSPACE.

Currently there is an issue when using:
Error: Repository path '<path_outside>' is not under '<$GITHUB_WORKSPACE>'

This is required since repo the $GITHUB_WORKSPACE might be very long for some build tools in Windows.
Without this path, we have to copy everything to new path from $GITHUB_WORKSPACE, which is wasting time and resources.

[MH-ZShearer]

I was wondering why this wasn't currently supported. I didn't see any reasoning for it listed anywhere. The directory has to be put into a temp directory, which we are currently preferring ZZZ/<RepoName> and then has to be moved to ../<RepoName>, but as mentioned, this wastes time and only pollutes our already busy actions.

Is this check necessary?

checkout/src/input-helper.ts

Lines 38 to 52 in 9a9194f

	// Repository path
	result.repositoryPath = core.getInput('path') || '.'
	result.repositoryPath = path.resolve(
	githubWorkspacePath,
	result.repositoryPath
	)
	if (
	!(result.repositoryPath + path.sep).startsWith(
	githubWorkspacePath + path.sep
	)
	) {
	throw new Error(
	`Repository path '${result.repositoryPath}' is not under '${githubWorkspacePath}'`
	)
	}