Skip to content

web: Add login via GitHub#7

Merged
PLukas2018 merged 2 commits into
masterfrom
login
Jan 20, 2026
Merged

web: Add login via GitHub#7
PLukas2018 merged 2 commits into
masterfrom
login

Conversation

@PLukas2018

Copy link
Copy Markdown
Collaborator

This PR adds log in via GitHub using GitHub OAuth. This is added to allow (in the future) editing of the expected results by certain users.

The commit also updates the docs.

@PLukas2018 PLukas2018 force-pushed the login branch 2 times, most recently from e0c35fd to 8743c27 Compare January 20, 2026 19:01
This commit adds log in via GitHub using GitHub App OAuth [1].
This is added to allow in the future editing of expected results
by certain users.

[1] https://docs.github.com/en/apps/creating-github-apps/writing-code-for-a-github-app/building-a-login-with-github-button-with-a-github-app
Update the docs to include info about the db migration and .env file.
@PLukas2018

Copy link
Copy Markdown
Collaborator Author

Fixed issues. Changed from log in via GitHub OAuth to GitHub App which allows more fine-grained permissions, but otherwise it should be almost the same (the mechanism should still use OAuth but it is created by the GitHub App).

@PLukas2018 PLukas2018 merged commit da0ae73 into master Jan 20, 2026
4 checks passed
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