microsoft / microsoft/vscode-pull-request-github

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

Aperta
#2,532 7 commenti 4 reazioni 1 assegnatario Vedi su GitHub

@alexr00 ci sta già lavorando.

Dal 15/6/2021.

bug
Lingua principale
TypeScript
Stelle
2.6k
Fork
795
Merge medio
1g 4h
PR unite (30g)
46

Descrizione

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

Guida per i contributori

Nessuna guida per i contributori indicizzata per questo repository

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.