[PR #2235] [MERGED] go get github.com/wadey/gocovmerge when needed #16298

Closed
opened 2025-11-02 12:07:01 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/2235
Author: @sapk
Created: 7/30/2017
Status: Merged
Merged: 7/31/2017
Merged by: @lunny

Base: masterHead: go-get-gocovmerge


📝 Commits (1)

  • 9b5859c go get github.com/wadey/gocovmerge when needed

📊 Changes

1 file changed (+3 additions, -0 deletions)

View changed files

📝 Makefile (+3 -0)

📄 Description

During #2198 I have found that gocovmerge is not automatically get when needed.


🔄 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/go-gitea/gitea/pull/2235 **Author:** [@sapk](https://github.com/sapk) **Created:** 7/30/2017 **Status:** ✅ Merged **Merged:** 7/31/2017 **Merged by:** [@lunny](https://github.com/lunny) **Base:** `master` ← **Head:** `go-get-gocovmerge` --- ### 📝 Commits (1) - [`9b5859c`](https://github.com/go-gitea/gitea/commit/9b5859cc7e042c6563ec76626924b1335807a79e) go get github.com/wadey/gocovmerge when needed ### 📊 Changes **1 file changed** (+3 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `Makefile` (+3 -0) </details> ### 📄 Description During #2198 I have found that gocovmerge is not automatically get when needed. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
GiteaMirror added the pull-request label 2025-11-02 12:07:01 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#16298