infrastructure

Klub-RZ/infrastructure

Fork 0

Commit graph

Author	SHA1	Message	Date
Raito Bezarius	7e11763d74	core01: Add MrF keys for real	2022-01-25 17:52:56 +01:00
raito	2283ee602a	Integrate core-services-01 in a nice workflow (#1 ) This enables the tracking of core-services-01 over the infrastructure repository. Co-authored-by: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.psl.eu> Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/1 Co-authored-by: raito <raito@noreply.git.rz.ens.wtf> Co-committed-by: raito <raito@noreply.git.rz.ens.wtf>	2021-07-26 01:29:05 +02:00

Author

SHA1

Message

Date

Raito Bezarius

7e11763d74

core01: Add MrF keys for real

2022-01-25 17:52:56 +01:00

raito

2283ee602a

Integrate core-services-01 in a nice workflow (#1 )

This enables the tracking of core-services-01 over the infrastructure repository.

Co-authored-by: Gabriel DORIATH DOHLER <gabriel.doriath.dohler@ens.psl.eu>
Reviewed-on: https://git.rz.ens.wtf/Klub-RZ/infrastructure/pulls/1
Co-authored-by: raito <raito@noreply.git.rz.ens.wtf>
Co-committed-by: raito <raito@noreply.git.rz.ens.wtf>

2021-07-26 01:29:05 +02:00

2 commits