Skip to content

Abort git push when clone did not succeed#363

Merged
Katsute merged 1 commit into
mainfrom
362-git
Jul 18, 2026
Merged

Abort git push when clone did not succeed#363
Katsute merged 1 commit into
mainfrom
362-git

Conversation

@Katsute

@Katsute Katsute commented Jul 11, 2026

Copy link
Copy Markdown
Member

Relevant Issues

List any closed and/or relevant issues

Changes Made

List any changes made.

  • Move to await rather than chain logic
  • Suppress rm failure

@Katsute Katsute self-assigned this Jul 11, 2026
@Katsute Katsute added the bug label Jul 11, 2026
@Katsute
Katsute marked this pull request as ready for review July 18, 2026 00:43
@Katsute

This comment has been minimized.

Sign in to view
kdevbot[bot]
kdevbot Bot approved these changes Jul 18, 2026
View reviewed changes

@kdevbot kdevbot Bot left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Approved by @Katsute

@Katsute
Katsute added this pull request to the merge queue Jul 18, 2026
Merged via the queue into main with commit 15efa92 Jul 18, 2026
10 checks passed
@Katsute
Katsute deleted the 362-git branch July 18, 2026 00:45
@kdevbot kdevbot Bot locked and limited conversation to collaborators Jul 18, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@kdevbot kdevbot[bot] kdevbot[bot] approved these changes

Assignees

@Katsute Katsute

Labels

bug

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Git does not abort push on failed clone

1 participant

@Katsute