Yeah, that's what I meant. Thanks :) I don't think we should create GitHub issues for every bug we fix. But it would be good if we could push small and unrelated things in separate commits and push them by themselves. This pull request says that it is about fixing issue #2, so it should only be about that. This is all in my opinion and we'll have to figure out a good workflow that makes sense for everybody.