Assertion: source code | /r/HasProperty | pushed by developer
Facets:
value: to public repositories
type: TRANSITIVE-OBJECT
Source sentences:
text: The source code may be pushed by the developers to public repositories (e.g. SourceForge or GitHub), or given to selected game community members, or sold with the game, or become available by other means.