Skip to content
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

Add isLoggedIn #191

Merged
merged 1 commit into from
May 31, 2024
Merged

Add isLoggedIn #191

merged 1 commit into from
May 31, 2024

Conversation

fregante
Copy link
Member

Refined GitHub does not support logged out users, but a couple of features are troublesome (e.g. locked-issue will mark all issues as locked when logged out) so this check can be useful.

@fregante fregante added the enhancement New feature or request label May 31, 2024
@fregante fregante merged commit 0bb2aad into main May 31, 2024
19 checks passed
@fregante fregante deleted the logged-in branch May 31, 2024 09:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Development

Successfully merging this pull request may close these issues.

1 participant