Method update_pr_labels

server/src/external/github.rs:283–296

(self, pr_number: u64, labels: Vec<String>)

            anyhow::bail!("GitHub client not initialized");
        };

        octocrab
            .issues("TUM-Dev", "NavigaTUM")
            .update(pr_number)
            .labels(&labels)
            .send()
            .await?;

        Ok(())
    }

    /// Update PR title
    #[tracing::instrument]
    pub async fn update_pr_title(self, pr_number: u64, title: &str) -> anyhow::Result<()> {
        let Some(octocrab) = self.octocrab else {
            anyhow::bail!("GitHub client not initialized");
        };