microsoft / microsoft/vscode-pull-request-github

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

Abierto
#2,532 7 comentarios 4 reacciones 1 asignado Ver en GitHub

@alexr00 ya está trabajando en esto.

Desde el 15/6/2021.

bug
Lenguaje dominante
TypeScript
Estrellas
2.6k
Forks
795
Merge medio
1 d 4 h
PR fusionados (30 d)
46

Descripción

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

Guía de contribución

No hay ninguna guía de contribución indexada para este repositorio

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.