NetLogo / NetLogo-Libraries

The central repository for the extensions listed in the NetLogo Extension Manager
15 stars 24 forks source link

Instructions for creating an add/update PR through the web UI #57

Open LaCuneta opened 2 years ago

LaCuneta commented 2 years ago

It occurred to me while thinking around issues with #56 that it might be possible to add or update an extension through the GitHub web UI with recent improvements to it. That might actually be preferrable for many users to using the git command line client or other tools. We should try and see if it is possible and write up instructions if so.

Related to #56, this would alleviate my concern with enabling git-lfs as the update process through the web UI would (hopefully) not be affected as the CLI tool would be.