When I type docker
in the Stack Overflow search box, it automatically converts it to [docker]
, so the result for docker
are the same as the results for [docker]
.
But when I search for jenkins
, it does not convert it to [jenkins]
, so the result of search is different. Why is docker
replaced and not jenkins
?