git.php.net (historical)
E452773
git.php.net was the former official Git repository hosting service for the PHP programming language’s source code, maintained by The PHP Group before being replaced by more modern infrastructure.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| git.php.net | 0 |
Statements (39)
| Predicate | Object |
|---|---|
| instanceOf |
Git repository hosting service
ⓘ
source code hosting service ⓘ website ⓘ |
| accessControl | PHP developer accounts ⓘ |
| associatedWith | PHP programming language ⓘ |
| authenticationMethod |
HTTP basic authentication
ⓘ
SSH keys ⓘ |
| category |
PHP project infrastructure component
ⓘ
defunct version control hosting service ⓘ |
| contentType | source code repositories ⓘ |
| domain | git.php.net ⓘ |
| governedBy | PHP project policies NERFINISHED ⓘ |
| historicalRole | central Git hosting for PHP project ⓘ |
| hostedRepository |
PECL extensions source code
ⓘ
PHP core source code ⓘ PHP documentation source code ⓘ various PHP project components ⓘ |
| maintainedBy | The PHP Group NERFINISHED ⓘ |
| officialRepositoryFor | PHP programming language ⓘ |
| operationalScope | official PHP project hosting ⓘ |
| partOf | PHP project infrastructure ⓘ |
| primaryLanguage | English ⓘ |
| protocolSupported |
Git protocol
ⓘ
HTTP ⓘ HTTPS NERFINISHED ⓘ |
| relatedTo |
bugs.php.net
NERFINISHED
ⓘ
php.net NERFINISHED ⓘ wiki.php.net ⓘ |
| replacedBy |
GitHub PHP organization repositories
ⓘ
modern PHP project infrastructure ⓘ |
| softwareUsed | Git NERFINISHED ⓘ |
| status | historical ⓘ |
| successor |
GitHub-based workflow for PHP
ⓘ
github.com/php NERFINISHED ⓘ |
| technologyStack | Git-based repository management ⓘ |
| usedBy |
PHP contributors
ⓘ
PHP core developers ⓘ |
| usedFor |
hosting PHP source code repositories
ⓘ
version control with Git for PHP project ⓘ |
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.