Uhm, well... not really
.
The history looks like you cherry-picked the commit, that was the worst option (does the GitHub UI even offer that option?). In general you perform a merge, for external contributions i prefer to always enforce a merge, even if like in this case a fast-forward merge would have been possible.
Also, it is kind of bad practice to create a PR from the main branch, in general you make a feature branch and create a PR from that one.