GitHub repository: sourcegraph-ce/terraform-provider-bigip
Description: This has moved to https://github.com/F5Networks/terraform-provider-bigip