github/github-services — pull request #371 by omansion (2012-07-31 15:07:03+00:00)
Title: shiningpanda.com becomes shiningpanda-ci.com

Hi,

We're moving shiningpanda.com on shiningpanda-ci.com.

Here is the related changes for the shiningpanda service.

Thanks!