I like to use descriptive names so I think we could change the repository name from _docker_ to, for example, _Dev Environment_.
I like to use descriptive names so I think we could change the repository name from docker to, for example, Dev Environment.