Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Docker: Give local docker container a name
Otherwise we get random IDs as names which we need to cleanup manually
- Loading branch information