Title: Use JGit in favor of shelling to git by dwhjames · Pull Request #16 · Datomic/codeq · GitHub
Open Graph Title: Use JGit in favor of shelling to git by dwhjames · Pull Request #16 · Datomic/codeq
X Title: Use JGit in favor of shelling to git by dwhjames · Pull Request #16 · Datomic/codeq
Description: This pull request replaces the use of Runtime.exec to invoke git, with the use of the JGit library. This appears to result in much faster import and analysis times. Aside from the new functions, th...
Open Graph Description: This pull request replaces the use of Runtime.exec to invoke git, with the use of the JGit library. This appears to result in much faster import and analysis times. Aside from the new functions, th...
X Description: This pull request replaces the use of Runtime.exec to invoke git, with the use of the JGit library. This appears to result in much faster import and analysis times. Aside from the new functions, th...
Opengraph URL: https://github.com/Datomic/codeq/pull/16
X: @github
Domain: patch-diff.githubusercontent.com
| route-pattern | /_view_fragments/voltron/pull_requests/show/:user_id/:repository/:id/pull_request_layout(.:format) |
| route-controller | voltron_pull_requests_fragments |
| route-action | pull_request_layout |
| fetch-nonce | v2:349b401f-1651-e716-3daa-83bf044c110b |
| current-catalog-service-hash | ae870bc5e265a340912cde392f23dad3671a0a881730ffdadd82f2f57d81641b |
| request-id | A52C:23B3F3:69EC2B:90489E:696E79D5 |
| html-safe-nonce | d534b0aa249d03fa7a27234d79c4d643aa3a58ab46937d5771d7fc3fdb341e11 |
| visitor-payload | eyJyZWZlcnJlciI6IiIsInJlcXVlc3RfaWQiOiJBNTJDOjIzQjNGMzo2OUVDMkI6OTA0ODlFOjY5NkU3OUQ1IiwidmlzaXRvcl9pZCI6IjI3MDcyNzIyMjgwODc0Mjk1ODkiLCJyZWdpb25fZWRnZSI6ImlhZCIsInJlZ2lvbl9yZW5kZXIiOiJpYWQifQ== |
| visitor-hmac | 32efae30ce94b67f4fc274363faf733058ca39f6d7f6d02928315593c61c6ac6 |
| hovercard-subject-tag | pull_request:8865160 |
| github-keyboard-shortcuts | repository,pull-request-list,pull-request-conversation,pull-request-files-changed,copilot |
| google-site-verification | Apib7-x98H0j5cPqHWwSMm6dNU4GmODRoqxLiDzdx9I |
| octolytics-url | https://collector.github.com/github/collect |
| analytics-location | / |
| fb:app_id | 1401488693436528 |
| apple-itunes-app | app-id=1477376905, app-argument=https://github.com/_view_fragments/voltron/pull_requests/show/Datomic/codeq/16/pull_request_layout |
| twitter:image | https://opengraph.githubassets.com/0fcfbf243b9676146d151ecac9ec5c339fd06d2aa1b63d8ef3086fb5385e7413/Datomic/codeq/pull/16 |
| twitter:card | summary_large_image |
| og:image | https://opengraph.githubassets.com/0fcfbf243b9676146d151ecac9ec5c339fd06d2aa1b63d8ef3086fb5385e7413/Datomic/codeq/pull/16 |
| og:image:alt | This pull request replaces the use of Runtime.exec to invoke git, with the use of the JGit library. This appears to result in much faster import and analysis times. Aside from the new functions, th... |
| og:image:width | 1200 |
| og:image:height | 600 |
| og:site_name | GitHub |
| og:type | object |
| og:author:username | dwhjames |
| hostname | github.com |
| expected-hostname | github.com |
| None | fdad15fd2ad43212aa8b8be5f2c2725550f8374ceeeb154a999ad9145b43f3f7 |
| turbo-cache-control | no-preview |
| go-import | github.com/Datomic/codeq git https://github.com/Datomic/codeq.git |
| octolytics-dimension-user_id | 1478702 |
| octolytics-dimension-user_login | Datomic |
| octolytics-dimension-repository_id | 5997933 |
| octolytics-dimension-repository_nwo | Datomic/codeq |
| octolytics-dimension-repository_public | true |
| octolytics-dimension-repository_is_fork | false |
| octolytics-dimension-repository_network_root_id | 5997933 |
| octolytics-dimension-repository_network_root_nwo | Datomic/codeq |
| turbo-body-classes | logged-out env-production page-responsive |
| disable-turbo | false |
| browser-stats-url | https://api.github.com/_private/browser/stats |
| browser-errors-url | https://api.github.com/_private/browser/errors |
| release | 27b23bc056eb973d350fc95afc848757edb9e7a9 |
| ui-target | full |
| theme-color | #1e2327 |
| color-scheme | light dark |
Links:
Viewport: width=device-width