Skip to content

Keep GitHub export button disabled if we can't export to GitHub#969

Merged
queengooborg merged 1 commit intomainfrom
no-github-if-no-token
Dec 14, 2023
Merged

Keep GitHub export button disabled if we can't export to GitHub#969
queengooborg merged 1 commit intomainfrom
no-github-if-no-token

Conversation

@queengooborg
Copy link
Member

No description provided.

@queengooborg queengooborg merged commit 6a6c781 into main Dec 14, 2023
@queengooborg queengooborg deleted the no-github-if-no-token branch December 14, 2023 21:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant