This looks good.
A small redundancy: there's no need for the .strip() because the split will remove any leading, trailing, or duplicate whitespace around the package names.
« Back to merge proposal
This looks good.
A small redundancy: there's no need for the .strip() because the split
will remove any leading, trailing, or duplicate whitespace around the
package names.