The error push.sharing-missing

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/_sharing.py:

  • what happened: {…} has no {…} beside its saved form: the record's title, creators and licence are kept there

  • what to do: write it from what the folder knows, 'mime push {…} --to <service> --init', then edit its creators

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