New comment by Wychmire on void-packages repository

https://github.com/void-linux/void-packages/pull/12891#issuecomment-509632267
Comment:
I never really thought about it. The website is called oilshell.org, and since the the program is a shell I guess I figured that it was called oilshell. The aur package is also called oilshell.
Fair point though. If I'm going to rename the pakage `oil`, would I have to create a new PR or just rename the commit?