Repo should be renamed - Githubissues

angr / angr.io

angr.io website source

https://angr.io

3 stars 5 forks source link

Closed mborgerson closed 2 years ago

mborgerson commented 2 years ago

I don't think mentioning hugo in the repository name is necessary. Let's rename to angr-website, angr.io, or something else

twizmwazin commented 2 years ago

angr.io is the most intuitive, IMO

mborgerson commented 2 years ago

Renamed to angr.io