Skip to content

Conversation

@giulio93
Copy link
Contributor

@giulio93 giulio93 commented Oct 21, 2025

No description provided.

@giulio93 giulio93 force-pushed the deb_package_pipeline branch 13 times, most recently from 73efa5e to 9d2f337 Compare October 21, 2025 12:39
@per1234 per1234 added the enhancement New feature or request label Oct 21, 2025
@giulio93 giulio93 changed the title Create .deb package debian/copyright Oct 22, 2025
@giulio93 giulio93 force-pushed the deb_package_pipeline branch from fddadaa to a98675a Compare October 22, 2025 12:21
@giulio93 giulio93 marked this pull request as ready for review October 22, 2025 12:21
@lucarin91 lucarin91 changed the title debian/copyright chore: remove third-party notice from debian/copyright Oct 27, 2025
@giulio93 giulio93 force-pushed the deb_package_pipeline branch 2 times, most recently from 96ed175 to 8b2503d Compare October 27, 2025 11:39
@giulio93 giulio93 force-pushed the deb_package_pipeline branch from 8b2503d to ee193d0 Compare October 27, 2025 11:41
Comment on lines +13 to +15

---

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
---

@giulio93 giulio93 merged commit 39ff447 into main Oct 27, 2025
11 checks passed
@giulio93 giulio93 deleted the deb_package_pipeline branch October 27, 2025 13:11
@giulio93
Copy link
Contributor Author

lucarin91 pushed a commit that referenced this pull request Oct 28, 2025
chore: remove third-party notice from debian/copyright
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants