Topic on User talk:BDavis (WMF)

Hello, I created a new tool (https://toolsadmin.wikimedia.org/tools/id/holidays-viewer) about 5 hours ago and I'm getting an error when I run become holidays-viewer. I've tried logging in and logging out several times but I'm still getting an error.

jeropbrenda@tools-sgebastion-07:~$ become holidays-viewer
become: no such tool 'holidays-viewer'
jeropbrenda@tools-sgebastion-07:~$ id
uid=21205(jeropbrenda) gid=500(wikidev) groups=500(wikidev),50380(project-tools),54127(tools.holidays-viewer)

What could be the problem?

Probably related to the issues we have been having with the background process that creates the new tool directories and credentials. This service was restarted 2019-08-05T16:10:23Z which I would hope has made it provision your tool correctly.