23 ms·
That was my intention, I almost always merge from the command line, except for tiny & trivial pull requests, like documentation. Its hard to run the tests throu
by psadauskas 15y ago
That was my intention, I almost always merge from the command line, except for tiny & trivial pull requests, like documentation. Its hard to run the tests through the Github web UI.
- astrodust 15y agoIt does seem crazy to merge without testing if you're following that sort of procedure.