Skip to content

No labels!

There aren’t any labels for this repository quite yet.

component: database
component: database
An issue relating to storage of data in one of our databases (e.g. PostgreSQL, Redis, MongoDB)
component: email
component: email
Issues relating to our email forwarding system, hosted on our netcup machines.
component: monitoring
component: monitoring
An issue relating to a monitoring component (e.g. Prometheus, Grafana)
component: networking
component: networking
An issue relating to a host networking (e.g. DNS, WireGuard, SSH)
component: security
component: security
An issue relating to host security (e.g. hardened security preferences). This is NOT critical bugs.
component: services
component: services
An issue relating to a Python Discord service (e.g. Bot, Site, Lancebot)
data-migration-needed: graphite
data-migration-needed: graphite
This service deployment needs a data migration of Graphite
data-migration-needed: mongodb
data-migration-needed: mongodb
This service deployment needs a data migration of MongoDB
data-migration-needed: postgresql
data-migration-needed: postgresql
This service deployment needs a data migration of PostgreSQL
data-migration-needed: redis
data-migration-needed: redis
This service deployment needs a data migration of Redis
dependencies
dependencies
Pull requests that update a dependency file
do-not-merge
do-not-merge
Indicates that the current PR shouldn't be merged yet
group: ansible
group: ansible
Issues and pull requests related to the Ansible setup
group: dns
group: dns
Issues and pull requests related to our DNS infrastructure.
group: docs
group: docs
Issues and pull requests related to our documentation
group: github actions
group: github actions
Pull requests that update GitHub Actions code
group: kubernetes
group: kubernetes
Issues and pull requests related to the Kubernetes setup
group: meta
group: meta
Relates to the GitHub repository itself
status: approved
status: approved