github-tools / github-tools/github
Close issue socket markup update
Open
- Dominant language
- JavaScript
- Stars
- 3.8k
- Forks
- 809
- PR merge metrics
- No merged PRs in 30d
Description
When an issue gets closed, open pages receive a push-notification somehow. The issue gets marked as closed, but the Issue counter in the TabBar doesn't.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.