-
-
Notifications
You must be signed in to change notification settings - Fork 1.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
closing-remarks
not showing on new computer?
#7370
Comments
Same situation as you, and I see it here: https://togithub.com/refined-github/refined-github/pull/3689 |
The PR is included in a pre-release, so I'm surprised that's not mentioned at the top. |
The feature works correctly, read the message: The merge commit doesn't appear in any tags. This appears to be accurate. We just follow what GitHub tells us and there's no tag here, under the commit title: unisonweb/unison@8a27961 |
Sorry, I see the links but I'm not sure what you're telling me with them. Do you mean that the behavior changed in February with #7243? Looking at that PR I'm not sure what I'm meant to take away from it. My tag is not called Or did you mean this?
And if so, how do I clear the cache? |
Yes, only version tags are counted now. The cache can be cleared from the extensions Options page |
Alright. In case anyone else asks, I recommend just telling them "The behavior of |
When you opened this issue, you disregarded the template picker. If you had picked the bug report and provided the URL as required, I'd have been quick to tell you that there isn't any usable tag on that PR. Also I responded to every one of your comment, so don't come here saying I closed the issue without explanation. |
Not sure if it's a local configuration error, a repo issue, or a regression?
Not sure if the personal access token is required, but I have added one and reloaded the page.
The text was updated successfully, but these errors were encountered: