patrick-higgins/gitexport
Public repository.
Public GitHub Catalog
Discovered Sep 28, 2026
patrick-higgins / git-starteam-merges
Adds merge information to git repositories created by git-starteam.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#13448207GitHub System ID
patrick-higginsOrganization / User
PublicVisibility
ActiveCatalog Status
More from patrick-higgins
patrick-higgins/copyartifact-git-plugin
Public repository.
patrick-higgins/mod_lowercase_username
Apache 2.x module for converting request user (REMOTE_USER) to lower case.
patrick-higgins/sb-jenkins-dynamicparameter
Jenkins-CI plugin allowing dynamically generated build parameter default values