microsoft / microsoft/vscode-pull-request-github
'There are updates available for this pull request.' - Successfully merged PR is checked out?
Offen
@alexr00 arbeitet bereits daran.
Seit 15.6.2021.
bug
- Vorherrschende Sprache
- TypeScript
- Sterne
- 2.6k
- Forks
- 796
- Ø Merge
- 1 T. 4 Std.
- Gemergte PRs (30 T.)
- 46
Beschreibung
Hello,
not quite a bug report yet, but odd behaviour I cannot explain. Might be a bug, might be something missing in my knowledge mesh...
Version: 1.53.2 (user setup)
Commit: 622cb03f7e070a9670c94bae1a45d78d7181fbd4
Date: 2021-02-11T11:48:04.245Z
Electron: 11.2.1
Chrome: 87.0.4280.141
Node.js: 12.18.3
V8: 8.7.220.31-electron.0
OS: Windows_NT x64 10.0.19042
Extension: GitHub Pullrequests
Steps to Reproduce:
Personal - PR #43 in TeamsFunctions
- Starting VS Code
- Toast: 'There are updates available for this pull request.' received
- Click on Toast
- Navigate to Pull Requests
- Pull Request is checked out in Review Mode
- There are no updates to this request - the Request was successfully merged on 28-DEC 2020
- Exit Review Mode
- Pull request closes
- Exit VS Code
- Repeat
I did not check out this request nor do I see any indication that something is off with it...
This occurred somewhen after PR#45, but cannot pinpoint anything to it.
Help is appreciated.
Thank you,
David
Beitragsleitfaden
Für dieses Repository ist kein Beitragsleitfaden indexiert
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Bewertung
Dieses Issue wurde noch nicht bewertet.