Template metadata visible to administrators
Maintainers usually reply within 1 day
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 48/100
- Issue type
- Feature
- Clarity
- Mostly clear
- Activity status
- Active
- Tech stack
- typescript
- Domain
- backend
Research direction
Start by locating how the workbench lists templates and how it stores template creation time and creator; the issue does not name files or entry points. Determine how administrator access is represented, then check the existing template view and tests. Done means an administrator can see all templates with when and by whom each was created.
Written by the indexing model from the issue text.
Description
As a workbench administrator, I would like to see all templates and know when they were created and by whom.
- 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
-
Difficulty 2/5 1-3 hours Newbie friendliness 54/100
leanprover/lean-workbench#181 · 1 comment ·
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
-
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
polarsource/polar#15580 ·
Maintainers usually reply within 1 day
-
accepted bug via-triage
Difficulty 2/5 1-3 hours Newbie friendliness 69/100
pingdotgg/t3code#20931 · 1 comment ·
Maintainers usually reply within 1 day
-
bug/1-unconfirmed kind/bug
Difficulty 2/5 1-3 hours Newbie friendliness 78/100
Maintainers usually reply within 1 day
-
Difficulty 1/5 Under an hour Newbie friendliness 83/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
ranxianglei/billion-context#3583 ·
Maintainers usually reply within 1 day