question-mark
Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Additional Check to delete repo from disk while removing repo

See original GitHub issue

Description

Additional Checkbox can be provided while removing a repo. Asking the user to check/uncheck Delete permanently from disk

Version

GitHub Desktop version: 0.6.2

OS version: MacOS Sierra

Expected behaviour:

Provide additional checkbox allowing the user to permanently delete the repo from disk. This will be unchecked by default. If the user checks the checkbox before removing the repo can be deleted permanently from the disk.

Actual behaviour:

Removing a repository removes only from GitHub desktop. Each time to delete, the user has to navigate and delete that manually.

Issue Analytics

  • State:closed
  • Created 6 years ago
  • Comments:5 (3 by maintainers)

github_iconTop GitHub Comments

1reaction
gingerbeardmancommented, Mar 15, 2018

I don’t mind this being a preference, if there’s a modifier key to go along with it. That’s because it’s something I will need to decide many times, so I would not want it to be permanently one or the other. I’d like to choose just before I do the task.

Right click = Remove Right click + <kbd>Alt</kbd> = Remove and Move to Trash

On macOS it’s common to hold down <kbd>Alt</kbd> to get alternate versions of some menu commands. Example:

regular: untitled2

alt: untitled

0reactions
sibiraj-scommented, Jan 19, 2018

Sorry I was closing many of issues that was open for a long time and not answered. I was not aware when I closed this one 😕. Reopening this.

Thanks @j-f1.

Read more comments on GitHub >

github_iconTop Results From Across the Web

How to delete a Git repository - TheServerSide.com
The way to delete a Git repo locally is to simply remove the hidden .git folder. Latest TechTarget resources.
Read more >
Removing multiple files from a Git repo that have already been ...
I have a bash alias setup for when I want to remove deleted files from git without touching other files: alias grma='git ls-files...
Read more >
Delete and restore your local repository - OpenTechSchool
You will be deleting not only all content in your local working directory but ... A good way to check the status both...
Read more >
Deleting a user does not delete it's repository from disk - GitLab
Check the repository and namespace exists in the configured storage. Login as admin and remove the user; Wait until the sidekiq job finishes ......
Read more >
Deleting a Local GitHub Repository - GeeksforGeeks
We can think of this deletion as when we do git init to initialize the current working directory as Git directory, with the...
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Dev.to Post

No results found

github_iconTop Related Hashnode Post

No results found