-
Georges Racinet authored
Closes #345. The selective pull we're adding should be enough in most cases with our current branching strategy. Since we can't really test it without polluting the tags, and it's not a really big problem if it doesn't work, we're allowing the pull to fail. This can be made stricter in a follow-up.
dacd39dfd1f8