So, in short, I think it's important that we have issues in our bug tracker
for any pull requests.