This repository was archived by the owner on Aug 27, 2025. It is now read-only.

History / Git process for contributing to Scilla

Revisions

Updated Git process for contributing to Scilla (markdown)

anton-trunov committed Jul 8, 2022

c763fdb
mention CODEOWNERS file

anton-trunov committed Jan 16, 2020

e49d8d6
mention ocamlformat

vaivaswatha committed Jan 16, 2020

7ef5b48
Updated Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 19, 2019

9a72e67
Updated Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 18, 2019

0eec0e8
Updated Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 18, 2019

b123447
Updated Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 18, 2019

b1ad37e
Updated Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 18, 2019

6b6ad93
Created Git process for contributing to Scilla (markdown)

vaivaswatha committed Feb 18, 2019

e362212