Oh, for some reason I thought you had already merged it.

IRO the shebang, as you said in the comment, its not used in the build, it would be only if someone wanted to run the script manually, but doesn't hurt to update it.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.