Skip to content
Snippets Groups Projects
Select Git revision
  • AndreasK-main-patch-20641
  • main default protected
  • review-policy
  • reword-readme
  • wip/release-policies
5 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.013Mar18Feb21Jan87614Nov27Sep8Jul7May23Jan29Aug28243119Jul1817141312111086565430Jun292019sponsorship: Add consultanciesmainmainInitial commit of sponsor listApply 1 suggestion(s) to 1 file(s)wip/release-pol…wip/release-policiesrel-mgmt: Fix section numberingrel-mgmt: More iterationrelease-mgmt: Fix a few minor pointsAddress various feedbackAddress feedback from SimonFinal passUpdate file release-management.mkdUpdate file release-management.mkdrelease-management: initial commitUpdate file README.mkdMerge branch 'Kleidukos-main-patch-27493' into 'main'Add Hécate to the Team with corresponding responsibilitiesMerge branch 'torsten.schmits-main-patch-22600' into 'main'Update team.mkdMerge branch 'gulinss-participation' into 'main'Introduce myselfUpdate team.mkdMerge branch 'alexis' into 'main'team.mkd: Add primary areas of interestUpdate team.mkdMerge branch 'torsten.schmits-main-patch-63932' into 'main'Update team.mkdRefine wording of README about delegation to other bodiesreword-readmereword-readmeAdd review policyreview-policyreview-policyWibbleAdding some more linksAdd Section 0Merge branch 'nineonine-main-patch-79465' into 'main'Update team.mkdRemove Bartlomiej, at his request.Merge branch 'Ericson2314-main-patch-71401' into 'main'Add "Primary areas of interest and expertise" for myselfMerge branch 'JoshMeredith-main-patch-40546' into 'main'Update team.mkdMerge branch 'adamgundry-main-patch-49771' into 'main'Update team.mkdMerge branch 'monoidal-main-patch-31233' into 'main'