[PR #1163] [MERGED] build(docker): add github cli #2605

New issue

Closed

opened 2026-05-22 22:57:18 +01:00 by JakeStanger · 0 comments

JakeStanger commented

2026-05-22 22:57:18 +01:00

Owner

📋 Pull Request Information

Original PR: https://github.com/JakeStanger/ironbar/pull/1163
Author: @JakeStanger
Created: 9/16/2025
Status: ✅ Merged
Merged: 9/16/2025
Merged by: @JakeStanger

Base: master ← Head: ci/docker

📝 Commits (1)

c7acbba build(docker): add github cli

📊 Changes

1 file changed (+12 additions, -1 deletions)

View changed files

📝 .github/scripts/ubuntu_setup.sh (+12 -1)

📄 Description

Needed for binary builds

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/JakeStanger/ironbar/pull/1163 **Author:** [@JakeStanger](https://github.com/JakeStanger) **Created:** 9/16/2025 **Status:** ✅ Merged **Merged:** 9/16/2025 **Merged by:** [@JakeStanger](https://github.com/JakeStanger) **Base:** `master` ← **Head:** `ci/docker` --- ### 📝 Commits (1) - [`c7acbba`](https://github.com/JakeStanger/ironbar/commit/c7acbba6b08fd1cc578861885804291e62c20003) build(docker): add github cli ### 📊 Changes **1 file changed** (+12 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `.github/scripts/ubuntu_setup.sh` (+12 -1) </details> ### 📄 Description Needed for binary builds --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

JakeStanger

2026-05-22 22:57:18 +01:00