Closed RepoMoveBot closed 4 years ago
Comment by Smile4ever Tuesday Apr 17, 2018 at 21:28 GMT
I have been working on this, but it's not that easy. I will postphone it for now. A pull request is always welcome.
I have decided to split up the default settings from the user settings. This work will be available in version 5.0.
Issue by perdolka Wednesday Jan 17, 2018 at 14:20 GMT
Highlight user settings by a different color. Example: