Adam Ralph

@galvesribeiro I don't see what MSBuild has to do with it. All you need is: - the .NET SDK (which you would also need if csi were integrated into the...

It's also the model for https://github.com/adamralph/bullseye

I'd like to just _know_ which tools are outdated first, before deciding to take any action. Is that possible?

Just as an FYI, this must only be true for some combinations of settings. E.g. I do **not** have this same problem on my Yoga 2 Pro at 3200x1800 with...

I still think the issue needs fixing, although I guess that right now the editor is using WinForms, which is difficult to get to play well with scaling.

> > In fact, couldn't the bot be changed to just create PRs, which must be merged by hand? That would put the security issues back in the hands of...

Is that because it pushes the pull request branch directly to the target repo? If so, could it not use a fork instead?

> It does not push a branch, it does not use `git`. It uses GitHub's REST API. Same end effect though: it requires write access to create a branch in...

> This is really something that GitHub needs to fix by making the permissions more granular I agree, and I sympathise with any reluctance to work around it in the...

Which version will this be released in?