Does DX offer real-time personal GitHub PR notifications?

Customers migrating to DX from Swarmia may be interested in personal GitHub PR notifications. DX does not currently offer this feature because GitHub offers it natively—although it is not easy to discover. Please see below for instructions on how users can enable this GitHub feature.