| ▲ | BlackFingolfin 5 hours ago | |
which is also driving me nuts because it frequently fails to update the issue and PR counts when I close issues or PRs. Only a hard reload, or closing the tab and opening a new new one, fixes it. | ||
| ▲ | geerlingguy 4 hours ago | parent [-] | |
Yeah over the past six months I've trained myself to just hit Command-R every time I switch back to a GitHub issue tab, otherwise things get stale or broken far too often. | ||