anyway, already solved by terminal, but it would b...

# random

[elect]

anyway, already solved by terminal, but it would be cool to have another entry on side of "git->add", called "remove" or something