I've got the change below staged locally, but as you can see it's direct to
master. Since that's an atypical workflow, and a first time for me, I
wanted to check before I push.
--- BEGIN git log ---
commit f94d9dcc102ea5515974b3a721286a6b49840860 (HEAD -> master)
Author: Bishop Bettini <bis...@php.net>
Date: Fri Sep 20 00:31:59 2019 -0400
[ci skip] Add phar + imap maintainer email
Looks like commit c09b13cb (Add Bishop Bettini as maintainer for
phar & imap, 2019-03-16) missed adding my email address.
--- END git log ---
Is this an appropriate case for a direct master commit?
