Skip to content

[Feature Request] make it possible to cancel git commands without closing arcitect #501

@eik-dahms

Description

@eik-dahms

Users can not cancel git commands like cancel/ push. So they have to cancel it forcefully via closing the Arcitect -> User does not know if that harms the ARC in any way.

I would get the process ids for the git commands. This way the processes can be killed via system call. And the user could cancel git commands.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type: Feature RequestThis item is confirmed by the maintainers to be a request for a new feature

    Type

    No type

    Projects

    Status

    No status

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions