8000 Labels · pymor/pymor · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

No labels!

There aren’t any labels for this repository quite yet.

15 labels

Sort
Sort
Alphabetically
Reverse alphabetically
Most issues
Fewest issues
automerge
automerge
PRs get auto-merge enabled once eligible
backport
backport
Should be ported back to current release
bug
bug
5
confirmed
confirmed
dependencies
dependencies
Pull requests that update a dependency file
1
69BE
feature request
feature request
27
good first issue
good first issue
27
infrastructure
infrastructure
Buildsystem, packages and CI
8
invalid
invalid
management
management
Project management
1
pr:change
pr:change
Change in existing functionality
3
pr:fix
pr:fix
Fixes a bug
pr:new-feature
pr:new-feature
Introduces a new feature
25
pr:removal
pr:removal
Removes a feature
1
user meeting 24
user meeting 24
11
0