[PR #23] [MERGED] Add Hopp #1190

New Issue

2026-05-12T05:39:07-05:00

GiteaMirror commented

2026-05-12 05:39:07 -05:00

📋 Pull Request Information

Original PR: https://github.com/devtoolsd/awesome-devtools/pull/23
Author: @iparaskev
Created: 9/17/2025
Status: ✅ Merged
Merged: 10/12/2025
Merged by: @dariubs

Base: main ← Head: main

📝 Commits (2)

b0c6145 Add Hopp
e5e528c Merge branch 'main' into main

📊 Changes

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

View changed files

📝 readme.md (+1 -0)

📄 Description

No description provided

_{🔄 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/devtoolsd/awesome-devtools/pull/23 **Author:** [@iparaskev](https://github.com/iparaskev) **Created:** 9/17/2025 **Status:** ✅ Merged **Merged:** 10/12/2025 **Merged by:** [@dariubs](https://github.com/dariubs) **Base:** `main` ← **Head:** `main` --- ### 📝 Commits (2) - [`b0c6145`](https://github.com/devtoolsd/awesome-devtools/commit/b0c6145dd54a61f864dfc9a99fc2fcac5d034ce2) Add Hopp - [`e5e528c`](https://github.com/devtoolsd/awesome-devtools/commit/e5e528c3d72401d7fd1d0396be2ad918b240ce22) Merge branch 'main' into main ### 📊 Changes **1 file changed** (+1 additions, -0 deletions) <details> <summary>View changed files</summary> 📝 `readme.md` (+1 -0) </details> ### 📄 Description _No description provided_ --- <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 2026-05-12 05:39:07 -05:00

GiteaMirror closed this issue

2026-05-12 05:39:08 -05:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: github-starred/awesome-devtools#1190