Mikhail Bashkirov

Results 47 comments of Mikhail Bashkirov

@florian-sanders-cc I updated the list of packages to only bundle what's really necessary in #2508 can you please have a look and give it another try? it doesn't necessarily fix...

I think I can relate to why it seems like a bug, in my first days at divRIOTS I had a similar expectation about syncing of branches. This is how...

Git has a concept of remote-tracking branches. Maybe we can make use of it to achieve what users need. Since Git is a distributed system, I now feel like the...

> If you'd prefer to keep the current workflows, it'd be good to make it extra clear in the UI that BL branches ≠ GH branches. At the moment it's...

Tricky one. We don't support a custom PostCSS config (at least not yet). But the error shouldn't happen anyway. I tried to repro this and see no errors in the...

Also not sure I fully understand what you mean by the build in this case. It's a PR, I don't think you can make a release build from a PR,...