<div dir="auto">Hello list,<div dir="auto"><br></div><div dir="auto">Is it possible to rename a repo?</div><div dir="auto"><br></div><div dir="auto">Thanks</div><div dir="auto">,</div><div dir="auto">Stefan</div></div>