index
:
marvinborner/infra
master
Public infrastructure scripts, configs, documentation, etc.
Marvin
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
Fix some potential bugs in shell scripts
Marvin Borner
5 months
Age
Commit message
Author
2024-11-12
Fix some potential bugs in shell scripts
HEAD
master
Marvin Borner
2024-11-03
Add script to allow Github Actions CI/CD IP addresses in iptables
Lukas Oertel
2023-02-12
Fix links pointing to our DokuWiki
Lukas Oertel
2023-02-12
ssh/fsi_hosts: Add internal IP addresses
Lukas Oertel
2023-02-10
Add script for post-update commands for our BBB instance
Lukas Oertel
2023-01-22
scripts/hedgedoc-ldap_to_oauth2: Init
Lukas Oertel
2023-01-22
Remove whitespace from previous commit
Lukas Oertel
2023-01-06
Add script to get all active LDAP users as CSV
Lukas Oertel
2022-02-06
Update SSH host key for kim
Lukas Oertel
2021-05-21
Merge pull request #2 from Pfonks/master
Lukas Oertel
2021-05-21
Removed references to lea after decommissioning
Pfonks
2021-05-21
Merge pull request #1 from Pfonks/patch-1
Lukas Oertel
2021-05-21
Removed lea from hosts
Malte
2020-08-08
scripts: Add github-get-top-orga-contributors.py
Michael Weiss
2020-08-08
ssh/fsi_hosts: Add the host key for gina
Michael Weiss
2020-08-08
scripts/mailing-list-member-retirement: Add a short README
Michael Weiss
2020-08-08
scripts/mailing-list-member-retirement: Add a Bash script to find inactive li...
Michael Weiss
2020-08-08
scripts/mailing-list-member-retirement: Add a flag to ignore mails before a c...
Michael Weiss
2020-08-08
scripts/mailing-list-member-retirement: Improve the error messages and simpli...
Michael Weiss
2020-08-08
scripts/mailing-list-member-retirement: Add an initial PoC
Michael Weiss
2020-02-14
ssh/config: Use rsa-sha2-256 for our "git" host
Michael Weiss
2020-02-02
ssh/config: Add overrides for the hosts "git" and "luna"
Michael Weiss
2020-02-02
ssh/fsi_hosts: Add the host key for Gitea
Lukas Oertel
2019-10-09
ssh/fsi-copy-id: Update the host list
Michael Weiss
2019-10-09
ssh/fsi_hosts: Add the host key for luna
Michael Weiss
2019-10-09
ssh: Add a script fsi-run-everywhere (draft)
Michael Weiss
2018-11-13
ssh/fsi_hosts: Add the host key for trinity
Michael Weiss
2018-11-13
ssh/fsi_hosts: Add the public IP addresses
Michael Weiss
2018-10-24
ssh: Add a README
Michael Weiss
2018-10-24
ssh: Add the fsi-copy-id script
Michael Weiss
[...]
Clone
https://git.marvinborner.de/marvinborner/infra