tree ca942d61767698dfe0958798d26bbbb8601d586a
parent 5907a5abff1fa174f6e2d53cf9085e54b2127271
author Romain Manni-Bucau <rmannibucau@gmail.com> 1588053855 +0200
committer Romain Manni-Bucau <rmannibucau@gmail.com> 1588053855 +0200

dropping staging repo (which does not exist anymore)