github-starred/gitea
2
0
Fork 0
mirror of https://github.com/go-gitea/gitea.git synced 2026-05-11 01:07:59 -05:00
Code Issues 2.6k Packages Projects Releases 100 Wiki Activity

[PR #5422] [MERGED] refactor: replace lint to revive #17789

New Issue
Closed
opened 2025-11-02 15:48:29 -06:00 by GiteaMirror · 0 comments
GiteaMirror commented 2025-11-02 15:48:29 -06:00
Owner
Copy Link

📋 Pull Request Information

Original PR: https://github.com/go-gitea/gitea/pull/5422
Author: @appleboy
Created: 11/28/2018
Status: ✅ Merged
Merged: 12/3/2018
Merged by: @techknowlogick

Base: master ← Head: revive

📝 Commits (2)

📊 Changes

2 files changed (+28 additions, -3 deletions)

View changed files

➕ .revive.toml (+25 -0)
📝 Makefile (+3 -3)

📄 Description

lint time

$ time make lint
real    0m7.953s
user    0m5.928s
sys     0m2.129s

revive time

$ time make revive
revive -config config.toml -exclude=./vendor/... ./... || exit 1

real    0m5.179s
user    0m8.248s
sys     0m1.785s

🔄 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/5422 **Author:** [@appleboy](https://github.com/appleboy) **Created:** 11/28/2018 **Status:** ✅ Merged **Merged:** 12/3/2018 **Merged by:** [@techknowlogick](https://github.com/techknowlogick) **Base:** `master` ← **Head:** `revive` --- ### 📝 Commits (2) - [`5d52ec1`](https://github.com/go-gitea/gitea/commit/5d52ec1a689c1dc18d5cb9dd64fba16894ba7b30) refactor: replace lint to revive - [`8f2247d`](https://github.com/go-gitea/gitea/commit/8f2247df10e34850d2990ce8c5a057ac30a04dd0) make changes. ### 📊 Changes **2 files changed** (+28 additions, -3 deletions) <details> <summary>View changed files</summary> ➕ `.revive.toml` (+25 -0) 📝 `Makefile` (+3 -3) </details> ### 📄 Description ## lint time ``` $ time make lint real 0m7.953s user 0m5.928s sys 0m2.129s ``` ## [revive](https://github.com/mgechev/revive) time ``` $ time make revive revive -config config.toml -exclude=./vendor/... ./... || exit 1 real 0m5.179s user 0m8.248s sys 0m1.785s ``` --- <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 15:48:29 -06:00
Sign in to join this conversation.
No Branch/Tag Specified
Branches Tags
Labels
Clear labels
$20
$250
$50
$500
backport/done
💎 Bounty
docs-update-needed
good first issue
hacktoberfest
issue/bounty
issue/confirmed
issue/critical
issue/duplicate
issue/needs-feedback
issue/not-a-bug
issue/regression
issue/stale
issue/workaround
lgtm/need 2
modifies/api
modifies/translation
outdated/backport/v1.18
outdated/theme/markdown
outdated/theme/timetracker
performance/bigrepo
performance/cpu
performance/memory
performance/speed
pr/breaking
proposal/accepted
proposal/rejected
pr/wip
pull-request
Mirrored from GitHub Pull Request
 reviewed/wontfix
💰 Rewarded
skip-changelog
status/blocked
topic/accessibility
topic/api
topic/authentication
topic/build
topic/code-linting
topic/commit-signing
topic/content-rendering
topic/deployment
topic/distribution
topic/federation
topic/gitea-actions
topic/issues
topic/lfs
topic/mobile
topic/moderation
topic/packages
topic/pr
topic/projects
topic/repo
topic/repo-migration
topic/security
topic/theme
topic/ui
topic/ui-interaction
topic/ux
topic/webhooks
topic/wiki
type/bug
type/deprecation
type/docs
type/enhancement
type/feature
type/miscellaneous
type/proposal
type/question
type/refactoring
type/summary
type/testing
type/upstream
No Label pull-request
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
GiteaMirror ninjasurge
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/gitea#17789
Delete Branch "%!s()"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?