[PR #291] [MERGED] adding oilshell/osh to the list of shells #333

Closed
opened 2025-11-06 14:03:59 -06:00 by GiteaMirror · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/alebcay/awesome-shell/pull/291
Author: @pfuender
Created: 10/9/2018
Status: Merged
Merged: 10/27/2018
Merged by: @alebcay

Base: masterHead: master


📝 Commits (2)

  • cd217ac adding oilshell/osh to the list of shells
  • 4fb0540 osh: use HTTPS

📊 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/alebcay/awesome-shell/pull/291 **Author:** [@pfuender](https://github.com/pfuender) **Created:** 10/9/2018 **Status:** ✅ Merged **Merged:** 10/27/2018 **Merged by:** [@alebcay](https://github.com/alebcay) **Base:** `master` ← **Head:** `master` --- ### 📝 Commits (2) - [`cd217ac`](https://github.com/alebcay/awesome-shell/commit/cd217acc6a3b20534926ebab5f41dd5c22837b3e) adding oilshell/osh to the list of shells - [`4fb0540`](https://github.com/alebcay/awesome-shell/commit/4fb05401c0fcbbef076c45fde1026eab99fced8b) osh: use HTTPS ### 📊 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 2025-11-06 14:03:59 -06:00
Sign in to join this conversation.
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: github-starred/awesome-shell#333