Tobias Olry

Results 22 comments of Tobias Olry

since you decided to put so many changes in one PR, you will have to live with me dissecting this very tedious - having small PRs would make both of...

yes, I always wanted to add a statistics section for these kinds of information - you are welcome to start on something like this or just to collect ideas

:+1: PR welcome, also not a big issue in my mind, because I add new links in 99% of all cases via the chrome extension

If I understand you correctly, this would be a quicker solution, than simply using the "edit" dialog?

Hmmm, I am not sure about this, this would be the first feature in the UI that has two ways of accomplishing it. Right now, there is exactly one way...

@dragonito is this still an issue for you - otherwise I would like to close this for now

@dragonito ping - will close otherwise

You could just add an option to the create/edit form, feel free to create a PR for this.

@dragonito this was implemented by now (not pretty but functional) - close here?

One addition here: when I run psalm with `vendor/bin/psalm ... --threads=$(nproc)` within a github action, the fatal errors will be shown, the run continued and the command will return a...