microsoft / microsoft/vscode-pull-request-github

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

Ouverte
#2,532 7 commentaires 4 réactions 1 personne assignée Voir sur GitHub

@alexr00 y travaille déjà.

Depuis le 15/6/2021.

bug
Langage dominant
TypeScript
Étoiles
2.6k
Forks
795
Merge moyen
1 j 4 h
PR mergées (30 j)
46

Description

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

Guide de contribution

Aucun guide de contribution indexé pour ce dépôt

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Évaluation

Cette issue n'a pas encore été évaluée.

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.