The option to merge unrelated histories on a Github account used to be a checkbox in the Push interface of the Git menu of Android Studio, but in the newer versions it disappeared from there and I can't find it anymore.
How can I set the option to allow unrelated histories with Android 2.3?
How can I set the option to allow unrelated histories with Android 2.3?