diff options
| author | EuAndreh <eu@euandre.org> | 2023-03-20 09:46:20 -0300 |
|---|---|---|
| committer | EuAndreh <eu@euandre.org> | 2023-03-20 10:03:17 -0300 |
| commit | 7ffcd694068d484842be0b87a9aeeda0a7720568 (patch) | |
| tree | c2744d6661967f5a2c128528d6ed51739556d906 /.gitignore | |
| parent | Makefile: Also upload managed SSH known_hosts file (diff) | |
| download | server-7ffcd694068d484842be0b87a9aeeda0a7720568.tar.gz server-7ffcd694068d484842be0b87a9aeeda0a7720568.tar.xz | |
Manage public SSH files as "extra-etc-file" instead of like a secret
Notes
See CI logs with:
git notes --ref=refs/notes/ci-logs show 7ffcd694068d484842be0b87a9aeeda0a7720568
git notes --ref=refs/notes/ci-data show 7ffcd694068d484842be0b87a9aeeda0a7720568
Exit status: 0
Duration: 15
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1,4 +1,3 @@ /src/secrets/ -/src/infrastructure/keys/SSH/*.stripped /result /result-next |