Skip to content
Snippets Groups Projects
Select Git revision
  • ultra-light
  • SharedArrayBuffer
  • v8.17 default protected
3 results
Blame Permalink
Forked from David Hamelin / jscoq-light
Source project has a limited visibility.
  • Emilio Jesus Gallego Arias's avatar
    f66266dc
    [contributing] Some notes about review / merge · f66266dc
    Emilio Jesus Gallego Arias authored 
    For a while I've been wanting to make clear that the development here
should not turn into something too bureaucratic and we should not be
afraid at all of committing stuff to master. I guess just before the
move to an organization this update should happen.

I dunno about the wording tho, suggestions welcome.
    Unverified
    f66266dc
    History
    [contributing] Some notes about review / merge
    Emilio Jesus Gallego Arias authored 
    For a while I've been wanting to make clear that the development here
should not turn into something too bureaucratic and we should not be
afraid at all of committing stuff to master. I guess just before the
move to an organization this update should happen.

I dunno about the wording tho, suggestions welcome.
After you've reviewed these contribution guidelines, you'll be all set to contribute to this project.