Closed MatteoRobbiati closed 1 year ago
This kind of PRs you can also skip, unless you want to be extremely strict with the workflow...
This kind of PRs you can also skip, unless you want to be extremely strict with the workflow...
You mean that I can PR and merge on my own?
Nope, I was suggesting that for very tiny changes you can directly commit on master
, but do as you prefer
As discussed together with @scarrazza, with this PR I removed the text's reduction of the navbar's buttons when the cursor passes.