8000 Failure to push isn't considered an error. · Issue #53 · EndBug/add-and-commit · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Failure to push isn't considered an error. #53
New issue
New issue
Closed
#57
Closed
Failure to push isn't considered an error.#53
#57
Assignees
EndBug
Labels
good first issueGood for newcomersstatus: staleInactive issues and PRstype: bugVerified problems that need to be worked on
Milestone
 
Typescript-only rewrite
@karliss

Description

@karliss
karliss
opened on Aug 16, 2020

In case pushing changes fails (most likely due to incorrect permissions) the action and workflow is considered successful.
I expected it to cause a failure.

  Tagging commit...
  Pushing commits to repo...
  remote: Permission to karliss/github-integration-test.git denied to github-actions[bot].
  fatal: unable to access 'https://github.com/karliss/github-integration-test/': The requested URL returned error: 403
  Pushing tags to repo...
  remote: Permission to karliss/github-integration-test.git denied to github-actions[bot].
  fatal: unable to access 'https://github.com/karliss/github-integration-test/': The requested URL returned error: 403

Metadata

Metadata

Assignees

Labels

good first issueGood for newcomersstatus: staleInactive issues and PRstype: bugVerified problems that need to be worked on

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions
    0