It looks like GitHub only allows merging of branches by making a pull request and then merging.
Is there a way to merge mobile
into master
in a single step without cloning locally?
I only see this button, which creates a pull request that needs to be merged in a second step: