microsoft / microsoft/vscode-pull-request-github

'There are updates available for this pull request.' - Successfully merged PR is checked out?

Offen
#2,532 7 Kommentare 4 Reaktionen 1 zugewiesene Person Auf GitHub ansehen

@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

  1. Starting VS Code
  2. Toast: 'There are updates available for this pull request.' received
  3. Click on Toast
  4. Navigate to Pull Requests
  5. Pull Request is checked out in Review Mode
  6. There are no updates to this request - the Request was successfully merged on 28-DEC 2020
  7. Exit Review Mode
  8. Pull request closes
  9. Exit VS Code
  10. 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

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Bewertung

Dieses Issue wurde noch nicht bewertet.

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.