{"id":18494956,"url":"https://github.com/qaware/findfacts-deployment","last_synced_at":"2025-05-14T02:33:14.702Z","repository":{"id":52682883,"uuid":"248801602","full_name":"qaware/findfacts-deployment","owner":"qaware","description":null,"archived":false,"fork":false,"pushed_at":"2021-04-21T08:09:27.000Z","size":48,"stargazers_count":1,"open_issues_count":0,"forks_count":2,"subscribers_count":8,"default_branch":"master","last_synced_at":"2024-12-25T16:42:22.072Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Shell","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/qaware.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2020-03-20T16:24:56.000Z","updated_at":"2021-04-21T08:09:31.000Z","dependencies_parsed_at":"2022-08-21T16:00:31.686Z","dependency_job_id":null,"html_url":"https://github.com/qaware/findfacts-deployment","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts-deployment","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts-deployment/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts-deployment/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/qaware%2Ffindfacts-deployment/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/qaware","download_url":"https://codeload.github.com/qaware/findfacts-deployment/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":239210505,"owners_count":19600548,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-11-06T13:22:56.105Z","updated_at":"2025-02-16T23:26:54.051Z","avatar_url":"https://github.com/qaware.png","language":"Shell","funding_links":[],"categories":[],"sub_categories":[],"readme":"# findfacts-deployment\nDeployment repository for the [findfacts](https://www.github.com/qaware/isabelle-afp-search) project.\n\nDeployment configs are stored here additively so that older versions still run when re-deploying.\n\nThere is a small tool, `update-deployed.sh` that creates a new deployment with the files from templates\n(and is able to do some variable replacement for consistent version numbers).\nSet the version number variables in this script appropriately.\n\n__Don't change the `deployed` folder manually!__\n\n## How to deploy\nRequirements: `docker` \u003e= 18, `docker-compose`\n\nSteps to deploy:\n1. Check out and `cd` into repo\n2. Create and set application secret:\n\n   ```shell\n   head -c 32 /dev/urandom | base64\n   ```\n   Set result as value in `deployed/app/app.env` for `APPLICATION_SECRET` key\n3. Set hostname in `deployed/app/server.env`\n4. Start infrastructure\n\n   ```shell\n   cd deployed/infrastructure\n   docker-compose up -d\n   ```\n5. Start db, then app (same way as infrastructure)\n\n#### Services\nYou can then reach the following endpoints:\n - 80/443: reverse-proxy\n - 3000: app\n - 8983: solr\n - 514,601,6514: syslog\n \nSo make sure only ports 80 and 443 are exposed to the web.\n\nLogs are collected in the `infrastructure_logs` volume (can also be accessed from `prod_syslog` container under `/logs`).\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqaware%2Ffindfacts-deployment","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fqaware%2Ffindfacts-deployment","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fqaware%2Ffindfacts-deployment/lists"}