Automatic cascading branch merging in GitHub