state pull
should use the already-merged commit's build script instead of attempting a merge.
#3044
Loading