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

Login in the browser when possible #50

Open
wants to merge 4 commits into
base: main
Choose a base branch
from
Open

Login in the browser when possible #50

wants to merge 4 commits into from

Conversation

LeoGrin
Copy link
Collaborator

@LeoGrin LeoGrin commented Dec 10, 2024

Change Description

Try to be precise. You can additionally add comments to your PR, this might help the reviewer a lot.
To login or register, we now default to trying to open the browser to login directly on the UI. If it's not possible, we fall back to the CLI login. Quick video demo.

Failing CI tests probably related to #49

If you used new dependencies: Did you add them to requirements.txt?
No

Who did you ping on Mattermost to review your PR? Please ping that person again whenever you are ready for another review.

Breaking changes

If you made any breaking changes, please update the version number.
Breaking changes are totally fine, we just need to make sure to keep the users informed and the server in sync.

Does this PR break the API? If so, what is the corresponding server commit?
No

Does this PR break the user interface? If so, why?
Yes, the login/register flow is different.


Please do not mark comments/conversations as resolved unless you are the assigned reviewer. This helps maintain clarity during the review process.


return received_token is not None, received_token

except Exception:
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you provide more info on how this could fail? Is there e.g. times when the user doesn't have gui? in which situations might it be more comfortable in the cli?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The main thing I had in mind is when the user is on a remote cluster. (in this case, there could also be a different workflow where we give the user the url and ask the user to paste the access token once he's logged in)

@@ -8,6 +8,7 @@ protocol: "https"
host: "tabpfn-server-wjedmz7r5a-ez.a.run.app"
# host: tabpfn-server-preprod-wjedmz7r5a-ez.a.run.app # preprod
port: "443"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Before merging the PR change the logo and title of the UI

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@LeoGrin
Copy link
Collaborator Author

LeoGrin commented Dec 16, 2024 via email

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.

2 participants