3 ms·You can submit a pull request from the GitHub website directly. Just click edit.by gtirloni 8y agoYou can submit a pull request from the GitHub website directly. Just click edit.