kleines Filmröllchen filmroellchen · they/she
filmroellchen pushed to main at infra/keys 2025-01-29 19:50:23 +00:00
aee0400ff1 Merge pull request 'add keys for denny' (#3) from denny into main
35f82bb0ef add keys for denny
Compare 2 commits »
filmroellchen approved infra/keys#3 2025-01-29 19:49:54 +00:00
add keys for denny
filmroellchen merged pull request infra/keys#2 2025-01-28 23:36:16 +00:00
add pubkeys for philipp
filmroellchen pushed to main at infra/keys 2025-01-28 23:36:16 +00:00
1b1cfbdff6 Merge pull request 'add pubkeys for philipp' (#2) from philipp into main
ea949c5ebb add pubkeys for philipp
Compare 2 commits »
filmroellchen approved infra/keys#2 2025-01-28 23:33:33 +00:00
add pubkeys for philipp
filmroellchen pushed to main at infra/website 2025-01-28 22:33:42 +00:00
72e39c2cfe replace verein and dienste with wiki pages
filmroellchen deleted branch docs from infra/keys 2025-01-28 22:23:05 +00:00
filmroellchen pushed to main at infra/keys 2025-01-28 22:22:45 +00:00
14ef9c490b badge + docs fixes
filmroellchen closed pull request infra/keys#1 2025-01-28 22:21:49 +00:00
badge + docs fixes
filmroellchen created pull request infra/keys#1 2025-01-28 22:21:21 +00:00
badge + docs fixes
filmroellchen created branch docs in infra/keys 2025-01-28 22:21:06 +00:00
filmroellchen pushed to docs at infra/keys 2025-01-28 22:21:06 +00:00
14ef9c490b badge + docs fixes
filmroellchen pushed to main at infra/mediawiki 2025-01-27 17:36:41 +00:00
8c710546af current config
filmroellchen pushed to main at infra/website 2025-01-27 17:34:42 +00:00
04f2fb9eb0 use latex container
filmroellchen pushed to main at infra/mediawiki 2025-01-27 14:08:36 +00:00
14347cab42 fix license attribution
filmroellchen created repository infra/mediawiki 2025-01-22 12:47:09 +00:00