Consider replacing landing page with user profile
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 2/5
- Estimated time
- 1-3 hours
- Newbie friendliness
- 54/100
- Issue type
- Feature
- Clarity
- Mostly clear
- Activity status
- Active
- Tech stack
- typescript
- Domain
- frontend
Research direction
Start by locating the welcome page and the user profile route, then read how the existing “go to your profile” link handles navigation. The issue proposes redirecting the welcome page to the profile; confirm the intended destination and behavior before changing it. Done means the landing page takes users to their profile as intended.
Written by the indexing model from the issue text.
Description
Welcome page doesn't really show any useful information when it has a "go to your profile" link. Maybe should just redirect there.
- Dominant language
- TypeScript
- Stars
- 10
- Forks
- 1
- Avg merge
- 1d 4h
- Merged PRs (30d)
- 17
Getting set up
- Ships a Dockerfile or Docker Compose file
- No pull request template
- No contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from leanprover/lean-workbench
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover/lean-workbench#54 ·
Maintainers usually reply within 1 day
-
Difficulty 3/5 1-2 days Newbie friendliness 55/100
leanprover/lean-workbench#184 ·
Maintainers usually reply within 1 day
-
Difficulty 5/5 Over a week Newbie friendliness 35/100
leanprover/lean-workbench#183 ·
Maintainers usually reply within 1 day
-
enhancement
Difficulty 4/5 3-5 days Newbie friendliness 48/100
leanprover/lean-workbench#182 ·
Maintainers usually reply within 1 day
-
First user experience involves "Imports are out of date"Possibly taken @robsimmons claimed this 5 days ago. Openbug
leanprover/lean-workbench#180 · 2 comments · 1 assignee ·
Maintainers usually reply within 1 day
All issues in leanprover/lean-workbench
Similar issues
-
backend priority:P3 privacy-fix
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 1 day
-
bug desktop v3 windows
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
esengine/DeepSeek-Reasonix#13697 · 1 comment ·
Maintainers usually reply within 1 day
-
area:security documentation effort:S priority:P2
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
Maintainers usually reply within 1 day
-
app:web meta:ops
Difficulty 2/5 Half a day Newbie friendliness 78/100
osu-tournament-rating/otr#1113 ·
Maintainers usually reply within 1 day
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 82/100