mirror of
https://github.com/bootandy/dust.git
synced 2026-06-08 11:29:05 +03:00
[PR #26] [CLOSED] New #259
Reference in New Issue
Block a user
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?
📋 Pull Request Information
Original PR: https://github.com/bootandy/dust/pull/26
Author: @bootandy
Created: 7/2/2019
Status: ❌ Closed
Base:
master← Head:new📝 Commits (9)
fd68330Update cargo lockbfaf5eeAdd bash line to ci script12775dbUpdate git ignore to ignore idea876609fObey new clippy4906e9ecomment typos6e03dd7Fix obscure display bug76d0762Add assert to stop infinite loops7db6cf2Add test to handle single dot in pathd327bd2Fix code to handle single dots in path📊 Changes
11 files changed (+444 additions, -260 deletions)
View changed files
📝
.gitignore(+1 -0)📝
Cargo.lock(+348 -204)📝
Cargo.toml(+5 -5)📝
ci/before_deploy.sh(+1 -0)📝
ci/install.sh(+1 -0)📝
ci/script.sh(+1 -0)📝
src/display.rs(+29 -16)📝
src/main.rs(+7 -1)📝
src/tests.rs(+16 -4)📝
src/utils/mod.rs(+34 -29)📝
src/utils/platform.rs(+1 -1)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.