[PR #336] [MERGED] contributor: set specific version #1391

Closed
opened 2025-12-29 02:29:55 +01:00 by adam · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/juanfont/headscale/pull/336
Author: @ohdearaugustin
Created: 2/19/2022
Status: Merged
Merged: 2/19/2022
Merged by: @kradalby

Base: mainHead: topic/fix-contributors-action


📝 Commits (1)

  • 8798efd contributor: set specific version

📊 Changes

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

View changed files

📝 .github/workflows/contributors.yml (+2 -2)

📄 Description

  • read the CONTRIBUTING guidelines
  • raised a GitHub issue or discussed it on the projects chat beforehand
  • [] added unit tests
  • [] added integration tests
  • [] updated documentation if needed
  • [] updated CHANGELOG.md

Fix #335


🔄 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/juanfont/headscale/pull/336 **Author:** [@ohdearaugustin](https://github.com/ohdearaugustin) **Created:** 2/19/2022 **Status:** ✅ Merged **Merged:** 2/19/2022 **Merged by:** [@kradalby](https://github.com/kradalby) **Base:** `main` ← **Head:** `topic/fix-contributors-action` --- ### 📝 Commits (1) - [`8798efd`](https://github.com/juanfont/headscale/commit/8798efd3536bb7ee7883de909f69c12b3715f06a) contributor: set specific version ### 📊 Changes **1 file changed** (+2 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `.github/workflows/contributors.yml` (+2 -2) </details> ### 📄 Description <!-- Please tick if the following things apply. You… --> - [x] read the [CONTRIBUTING guidelines](README.md#user-content-contributing) - [x] raised a GitHub issue or discussed it on the projects chat beforehand - [] added unit tests - [] added integration tests - [] updated documentation if needed - [] updated CHANGELOG.md <!-- If applicable, please reference the issue using `Fixes #XXX` and add tests to cover your new code. --> Fix #335 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
adam added the pull-request label 2025-12-29 02:29:55 +01:00
adam closed this issue 2025-12-29 02:29:55 +01:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: starred/headscale#1391