plugin options: 'user' and 'repo' can now be set by the user