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.
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.
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.
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.