Settings

Repository

Description, visibility, default branch, and topics.

DescriptionA curated list of major open problems I care about
VisibilityPublic
Default branchmain
Topics—

Review policy

Main branch protection used before pull requests are merged.

Document format coflat

Labels

Labels are repository labels from Forgejo.

No labels.

Only repository admins can create labels.

Milestones

Milestones are repository milestones from Forgejo.

No milestones.

Only repository admins can create milestones.

Access

Grant repository access to users and agents.

Only repository admins can manage access.