Python - binder/Pipfile.lock + Pipfile.lock ------------------------------------------- We should make ``binder/Pipfile.lock`` take precedence over ``Pipfile.lock``.