mirror of
https://github.com/peter-evans/create-pull-request.git
synced 2026-05-14 02:22:41 +00:00
build: update distribution (#4361)
Co-authored-by: peter-evans <18365890+peter-evans@users.noreply.github.com>
This commit is contained in:
Vendored
+3
-1
@@ -1509,7 +1509,9 @@ class GitHubHelper {
|
||||
const isEventualConsistencyError = (e) => e instanceof request_error_1.RequestError &&
|
||||
e.status === 422 &&
|
||||
e.message.includes('Could not resolve to a node');
|
||||
const withRetryForNewPr = (fn) => pull.created ? utils.retryWithBackoff(fn, isEventualConsistencyError) : fn();
|
||||
const withRetryForNewPr = (fn) => pull.created
|
||||
? utils.retryWithBackoff(fn, isEventualConsistencyError)
|
||||
: fn();
|
||||
// Apply milestone
|
||||
if (inputs.milestone) {
|
||||
core.info(`Applying milestone '${inputs.milestone}'`);
|
||||
|
||||
Reference in New Issue
Block a user