aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2024-11-12Fix some potential bugs in shell scriptsHEADmasterMarvin Borner
2024-11-03Add script to allow Github Actions CI/CD IP addresses in iptablesLukas Oertel
2023-02-12Fix links pointing to our DokuWikiLukas Oertel
2023-02-12ssh/fsi_hosts: Add internal IP addressesLukas Oertel
2023-02-10Add script for post-update commands for our BBB instanceLukas Oertel
2023-01-22scripts/hedgedoc-ldap_to_oauth2: InitLukas Oertel
2023-01-22Remove whitespace from previous commitLukas Oertel
2023-01-06Add script to get all active LDAP users as CSVLukas Oertel
2022-02-06Update SSH host key for kimLukas Oertel
2021-05-21Merge pull request #2 from Pfonks/masterLukas Oertel
2021-05-21Removed references to lea after decommissioningPfonks
2021-05-21Merge pull request #1 from Pfonks/patch-1Lukas Oertel
2021-05-21Removed lea from hostsMalte
2020-08-08scripts: Add github-get-top-orga-contributors.pyMichael Weiss
2020-08-08ssh/fsi_hosts: Add the host key for ginaMichael Weiss
2020-08-08scripts/mailing-list-member-retirement: Add a short READMEMichael Weiss
2020-08-08scripts/mailing-list-member-retirement: Add a Bash script to find inactive li...Michael Weiss
2020-08-08scripts/mailing-list-member-retirement: Add a flag to ignore mails before a c...Michael Weiss
2020-08-08scripts/mailing-list-member-retirement: Improve the error messages and simpli...Michael Weiss
2020-08-08scripts/mailing-list-member-retirement: Add an initial PoCMichael Weiss
2020-02-14ssh/config: Use rsa-sha2-256 for our "git" hostMichael Weiss
2020-02-02ssh/config: Add overrides for the hosts "git" and "luna"Michael Weiss
2020-02-02ssh/fsi_hosts: Add the host key for GiteaLukas Oertel
2019-10-09ssh/fsi-copy-id: Update the host listMichael Weiss
2019-10-09ssh/fsi_hosts: Add the host key for lunaMichael Weiss
2019-10-09ssh: Add a script fsi-run-everywhere (draft)Michael Weiss
2018-11-13ssh/fsi_hosts: Add the host key for trinityMichael Weiss
2018-11-13ssh/fsi_hosts: Add the public IP addressesMichael Weiss
2018-10-24ssh: Add a READMEMichael Weiss
2018-10-24ssh: Add the fsi-copy-id scriptMichael Weiss
2018-10-24Add the CC0 licenseMichael Weiss
2018-10-24Add a READMEMichael Weiss
2018-10-24Add SSH configuration files (example)Michael Weiss