Specification that codifies an inter-related pair of data formats for defining proof presentations (Presentation Definition) and subsequent proof submissions (Presentation Submission)
this way, however clunky, is what DIF has been trying to align on since... summer 2020. I attached this:
As for weekly pushes, we've been looking into ways to automate this, and failing that, the incoming program manager may just take over the chore and push every time they review all the notes to assemble the newsletter/all-hands orgwide digest, now that hackmd is doing some kind of paywall thing limiting pushes per month 🙄
bumblefudge
commented
2 years ago
Could we just have a link to the hackMD that way the we don't need to remember to update the contents in the repo each week?