2023-04-19T20:09:38Z - 2024-04-19T20:09:38Z

Period: 1 year

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

3 Active Pull Requests

4 Active Issues

1
Merged Pull Request 2
Proposed Pull Requests 2
Closed Issues 2
New Issues

Excluding merges, 2 authors have pushed 19 commits to main and 19 commits to all branches. On main, 13 files have changed and there have been 339 additions and 239 deletions.

3 Releases published by 1 user

Published 0.4.0-r20240301 2024-02-05 22:14:19 +00:00

Published 0.3.0-r20231031 2023-10-31 20:56:44 +00:00

Published 0.2.0-r20231018 2023-10-18 12:02:28 +00:00

1 Pull request merged by 1 user

Merged #10 http: order absent fields first 2024-04-19 10:56:50 +00:00

2 Pull requests proposed by 1 user

Proposed #6 WIP: jsonMessages: basic schema for JSON APIs 2023-07-26 09:14:53 +00:00

Proposed #7 WIP: Add URN record type 2023-09-05 07:59:23 +00:00

2 Issues closed from 2 users

Closed #8 protocol: Sync peer should be #!any 2024-01-14 10:19:21 +00:00

Closed #4 Update protocols 2023-11-26 08:35:25 +00:00

2 Issues created by 2 users

Opened #5 DataspacePatterns: patterns over sets of literals 2023-06-08 10:17:28 +00:00

Opened #9 Make dataspace patterns over compound data extensible 2024-04-04 12:10:22 +00:00

1 Unresolved Conversation

Open #3 <dict ...> patterns in dataspacePatterns.prs need an ordering specified 2024-04-04 12:55:01 +00:00