Skip to content

Skip merge for branches whose pull was a no-op, and drop redundant re… #20

Skip merge for branches whose pull was a no-op, and drop redundant re…

Skip merge for branches whose pull was a no-op, and drop redundant re… #20