GitHub Mobile, an app that lets you manage your coding projects while on the go, now supports additional push notification options.