When Devel is enabled, this library will get downloaded to sites/all/libraries. It makes sense to add to the repo but could also be added to .gitignore.