search

angr / angr-dev

Some helper scripts to set up an environment for angr development.
BSD 2-Clause "Simplified" License
114 stars 95 forks source link

Clean up admin directory #145

Closed twizmwazin closed 2 years ago

twizmwazin commented 2 years ago

These scripts haven't been used for quite a while now.

rhelmot commented 2 years ago

checkout_at.py and blame.sh are still pretty important.

ltfish commented 2 years ago

We definitely need checkout_at.py and blame.sh. Not sure about other scripts, but some of them are definitely no longer relevant.

@zardus Do you see any scripts that we must keep around?

twizmwazin commented 2 years ago

For blame.sh, would gitmailmap be a preferable solution, especially since it would apply across all git commands and can be configured to be used automatically?

rhelmot commented 2 years ago

The purpose of blame.sh is not to do mailmapping but rather to do cumulative line number counting across multiple repositories.

twizmwazin commented 2 years ago

Oh I see, apologies

twizmwazin commented 2 years ago

Two scripts mentioned are retained and comments added to explain functionality, other scripts have been pruned.