[Bugs] Merging PRs causes strange behavior when using a merge queue on GitHub.
Offen
Bugs
- Vorherrschende Sprache
- Keine Sprachdaten
- Sterne
- 2.1k
- Forks
- 153
- PR-Merge-Kennzahlen
- Keine gemergten PRs in 30 T.
Beschreibung
**Mood:** 😔
**Category:** Bugs
Merging PRs causes strange behavior when using a merge queue on GitHub. It surfaces error messages as if it failed / as if the PR is in the draft stage. But when checking on GitHub it did in fact merge.
---
| Field | Value |
| --- | --- |
| App version | 0.2.5 |
| OS | Windows 10.0.26200 |
| Theme | GitHub |
| Path | /chat |
| Tenure | Day 2 (Week 1) |
Beitragsleitfaden
Bewertung
Dieses Issue wurde noch nicht bewertet.