mirror of
https://github.com/actions/checkout.git
synced 2025-09-13 19:22:20 +08:00
feat(git config): Set default user.name and user.email in git config
This commit is contained in:
3
dist/index.js
vendored
3
dist/index.js
vendored
@@ -1813,6 +1813,9 @@ function getInputs() {
|
||||
core.debug(`recursive submodules = ${result.nestedSubmodules}`);
|
||||
// Auth token
|
||||
result.authToken = core.getInput('token', { required: true });
|
||||
// Configure user
|
||||
result.configureUser =
|
||||
(core.getInput('configure-user') || 'true').toUpperCase() === 'TRUE'
|
||||
// SSH
|
||||
result.sshKey = core.getInput('ssh-key');
|
||||
result.sshKnownHosts = core.getInput('ssh-known-hosts');
|
||||
|
Reference in New Issue
Block a user