Skip to content

Issues: python-mario/mario

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

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

traceback out of the box
#577 opened Nov 29, 2023 by glyph
Get to 100% test coverage enhancement New feature or request testing
#271 opened Oct 9, 2019 by python-mario-bot
If-then-else command? enhancement New feature or request
#246 opened Sep 7, 2019 by python-mario-bot
Add in-place command for editing a file in place. enhancement New feature or request
#245 opened Sep 7, 2019 by python-mario-bot
Add type checking for each stage enhancement New feature or request
#244 opened Sep 7, 2019 by python-mario-bot
--version should show plugin versions too enhancement New feature or request
#242 opened Sep 7, 2019 by python-mario-bot
Define a public Python API documentation enhancement New feature or request
#241 opened Sep 7, 2019 by python-mario-bot
Add units command with Pint? enhancement New feature or request
#240 opened Sep 7, 2019 by python-mario-bot
Allow --long and short -s options enhancement New feature or request
#239 opened Sep 7, 2019 by python-mario-bot
Add deprecated_in_version field documentation enhancement New feature or request
#236 opened Sep 7, 2019 by python-mario-bot
A shorter name for mario? help wanted Extra attention is needed
#234 opened Sep 7, 2019 by python-mario-bot
Is there a better name for chain? enhancement New feature or request
#233 opened Sep 7, 2019 by python-mario-bot
Add test docstrings documentation enhancement New feature or request
#232 opened Sep 7, 2019 by python-mario-bot
Add a flatten command for trees? enhancement New feature or request
#230 opened Sep 7, 2019 by python-mario-bot
ProTip! Follow long discussions with comments:>50.