#398: Option to forget a repository