Search Results for "git server"

...Supports deletion of both local and remote branches. Detects multiple forms of de-facto merges (rebase merges, squash merges (needs --effort=3), single or range cherry-picks… leveraging git cherry). Supports workflows with multiple release branches, e.g. only delete branches that have been merged to all of master, dev and staging. Quick interactive configuration. Provider agnostic: Works with GitHub, GitLab, Gitea and any other Git hosting. Takes safety seriously. Deletion is a sharp knife that requires care. While git reflog would have your back in most cases, git-delete-merged-branches takes safety seriously. git push is used with --force-with-lease so if the server and you have a different understanding of that branch, it is not deleted. ...

DevProjex turns any folder or Git repository into clean, token-efficient context for AI assistants and coding agents, and shows exactly what leaves your machine before you send it. Use it as a desktop app (GUI), a keyboard-first terminal workspace (TUI), a scriptable CLI for CI, or a read-only MCP server for Claude Code, Cursor, and other agents. An open-source alternative to Repomix, gitingest, and code2prompt, with a visual file tree and live preview.