Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add supporting development resources (PR/issue templates, documentation site, packaging/release) #99

Open
1 of 6 tasks
0xalpharush opened this issue Feb 14, 2023 · 1 comment
Open
1 of 6 tasks

Add supporting development resources (PR/issue templates, documentation site, packaging/release) #99

0xalpharush opened this issue Feb 14, 2023 · 1 comment
Labels
dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation good first issue Good for newcomers medium-priority not-an-issue

Comments

@0xalpharush
Copy link
Contributor

0xalpharush commented Feb 14, 2023 •
edited
Loading

To facilitate feedback from users, encourage upstream contributions, and make developers lives' easy there are a couple of things that may be helpful:

  • PR template
  • issue template
  • documentation site
  • Enabling the "Discussions" feature on Github
  • CI integration i.e. github action
  • Packaging/ installation. It would best if there's a one-liner way to install all dependencies including slither/ crytic-compile on Windows/Mac/Linux. Additionally, it would be great to make it easy to run "nightly" versions of Medusa should a user require a bug fix that has yet to be released
@Xenomega Xenomega added documentation Improvements or additions to documentation enhancement dependencies Pull requests that update a dependency file labels Feb 14, 2023
@Xenomega Xenomega added the good first issue Good for newcomers label May 1, 2023
@Xenomega Xenomega changed the title quality of life improvements Add supporting development resources (PR/issue templates, documentation site, packaging/release) May 1, 2023
@Xenomega
Copy link
Member

Xenomega commented May 1, 2023 •
edited
Loading

Updated the title here and removed CODEOWNERS as a TODO so it doesn't get bundled up as we also had #64.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
dependencies Pull requests that update a dependency file documentation Improvements or additions to documentation good first issue Good for newcomers medium-priority not-an-issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@Xenomega @anishnaik @0xalpharush