The error push.lock-changed

user: the script can change it: the error says what happened in the experiment’s names, and what to write instead.

Where MIME gives it, with what its message says happened and what its action says to do ({…} is filled in from the experiment):

• in mime/push/_stage.py:

  • what happened: the folder's lock {…} changed after the published bundle was packed from it, so push left it as it is, and the folder does not name the record it was published as

  • what to do: the published bundle's lock is in push's record; to make the folder the published one, 'mime pull' the record into a new folder

Reading an error and reaching its full traceback: reading an error. Every code: the index.