Method get_pr_description

server/src/external/github.rs:344–355

(self, pr_number: u64)

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

        let pr = octocrab
            .pulls("TUM-Dev", "NavigaTUM")
            .get(pr_number)
            .await?;

        Ok(pr.body.unwrap_or_default())
    }

    /// Update PR description (body)
    #[tracing::instrument(skip(description))]
    pub async fn update_pr_description(
        self,
        pr_number: u64,
        description: &str,