Skip to content

Activity

Showing most recent first

deploy: b7c57ea

github-actions[bot]pushed 1 commit to gh-pages • 34e5440…f57d463 • 
yesterday

Deleted branch

benjiedeleted type-must-exist • 
yesterday

Fix choice of language used in algorithm (#1134)

Pull request merge
benjiepushed 1 commit to main • b41339a…b7c57ea • 
yesterday

Update spec/Section 3 -- Type System.md

Force push
robrichardforce pushed to incremental-integration-type-system • cf072a4…47f362c • 
yesterday

Merge branch 'main' into interface-deprecated-field-consistency

benjiecreated interface-deprecated-field-consistency • 06ea8d5 • 
yesterday

Merge branch 'main' into values-of-correct-type-variables

benjiepushed 7 commits to values-of-correct-type-variables • 7d9baa9…0c25faa • 
yesterday

Update spec/Section 7 -- Response.md

robrichardpushed 1 commit to robrichard/response-map • 00fe58d…dc300d1 • 
yesterday

Add note for clarity

benjiepushed 2 commits to benjie/incremental-common • 0b9eed7…140c3da • 
2 days ago

Remove reason from definition

benjiepushed 2 commits to benjie/incremental-common • 383cf8e…0b9eed7 • 
2 days ago

that -> which

benjiepushed 1 commit to benjie/incremental-common • 213fd2a…383cf8e • 
2 days ago

Define 'grouped field set'

benjiepushed 1 commit to benjie/incremental-common • e8f80c8…213fd2a • 
2 days ago

Address feedback

Force push
robrichardforce pushed to robrichard/response-map • 9e0af97…00fe58d • 
2 days ago

Merge branch 'main' into benjie/incremental-common

benjiepushed 7 commits to benjie/incremental-common • a1de2dd…e8f80c8 • 
2 days ago

Update spec/Section 3 -- Type System.md

robrichardpushed 1 commit to incremental-integration-type-system • 7c0ba73…cf072a4 • 
2 days ago

Editorial: Define _response map_

robrichardcreated robrichard/response-map • 9e0af97 • 
2 days ago

deploy: b41339a

github-actions[bot]pushed 1 commit to gh-pages • a85c7a7…34e5440 • 
2 days ago

Deleted branch

leebyrondeleted robrichard/response-stream • 
2 days ago

Editorial: Add response stream to Response Section (#1135)

Pull request merge
leebyronpushed 1 commit to main • 04fbcae…b41339a • 
2 days ago

deploy: 04fbcae

github-actions[bot]pushed 1 commit to gh-pages • f7b1d33…a85c7a7 • 
2 days ago

Add tone of voice (#1138)

Pull request merge
leebyronpushed 1 commit to main • 3c02659…04fbcae • 
2 days ago

remove "repetition"

martinbonnincreated add-tone-of-voice • 0caea6d • 
2 days ago

deploy: 3c02659

github-actions[bot]pushed 1 commit to gh-pages • b07833e…f7b1d33 • 
9 days ago

Deleted branch

benjiedeleted editorial-change • 
9 days ago

Add "editorial changes" to CONTRIBUTING.md (#1141)

Pull request merge
benjiepushed 1 commit to main • 60a0677…3c02659 • 
9 days ago

Add link to editorial label

benjiepushed 1 commit to editorial-change • 23d0792…078a7c9 • 
9 days ago

Add 'often'

martinbonninpushed 1 commit to editorial-change • b19faf9…23d0792 • 
9 days ago

and remove paragraph

martinbonninpushed 1 commit to editorial-change • 0971608…b19faf9 • 
9 days ago

Mention "editorial changes"

martinbonninpushed 1 commit to editorial-change • a45a927…0971608 • 
9 days ago

Add "editorial changes" to CONTRIBUTING.md

martinbonnincreated editorial-change • a45a927 • 
9 days ago

Add definitions to the style guide (#1137)

Pull request merge
benjiepushed 1 commit to main • a1c025f…60a0677 • 
10 days ago