ludofleury/satisfy — pull request #22 by pitpit (2014-03-27 10:43:56+00:00)
Title: github repository name can contain dots

This PR fixes the pattern in config.php sample