[PR #7] [MERGED] Handle tilde expansion for user home directory #68

Closed
opened 2026-03-02 16:48:01 +03:00 by kerem · 0 comments
Owner

📋 Pull Request Information

Original PR: https://github.com/initialcommit-com/git-sim/pull/7
Author: @abhijitnathwani
Created: 1/23/2023
Status: Merged
Merged: 1/23/2023
Merged by: @initialcommit-io

Base: mainHead: handle-tilde-expansion


📝 Commits (1)

  • 6f87919 Handle tilde expansion for user home directory

📊 Changes

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

View changed files

📝 git_sim/__main__.py (+1 -1)

📄 Description

Fixes #3


🔄 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/initialcommit-com/git-sim/pull/7 **Author:** [@abhijitnathwani](https://github.com/abhijitnathwani) **Created:** 1/23/2023 **Status:** ✅ Merged **Merged:** 1/23/2023 **Merged by:** [@initialcommit-io](https://github.com/initialcommit-io) **Base:** `main` ← **Head:** `handle-tilde-expansion` --- ### 📝 Commits (1) - [`6f87919`](https://github.com/initialcommit-com/git-sim/commit/6f879194a6c8b5d6cdc5ac1f9a345bd7d9109fdb) Handle tilde expansion for user home directory ### 📊 Changes **1 file changed** (+1 additions, -1 deletions) <details> <summary>View changed files</summary> 📝 `git_sim/__main__.py` (+1 -1) </details> ### 📄 Description Fixes #3 --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
kerem 2026-03-02 16:48:01 +03:00
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
starred/git-sim#68
No description provided.