Add template for report 2018-12-20

weekly-reports/2018-12-20/README.md

@@ -0,0 +1,57 @@
+# Summary
+
+TODO
+
+# PRs and issues completed
+
+| Issue/PR | Summary | Epic | Contributors | Created | Finished | Comments|
+|----------|---------|------|--------------|---------|----------|---------|
+| [68](https://github.com/input-output-hk/fm-ledger-rules/issues/68) | Build instance of STS semantics for executable spec / generators | | [mgudemann](https://github.com/mgudemann) | 2018-11-09 | 2018-12-20 | |
+| [117](https://github.com/input-output-hk/fm-ledger-rules/issues/117) | Add pointer/base address structure (LaTeX) | | [polinavino](https://github.com/polinavino) | 2018-12-10 | 2018-12-20 | |
+| [122](https://github.com/input-output-hk/fm-ledger-rules/issues/122) | review first draft of delegation spec | | [JaredCorduan](https://github.com/JaredCorduan) | 2018-12-12 | 2018-12-20 | |
+| [126](https://github.com/input-output-hk/fm-ledger-rules/issues/126) | add fees and deposits to UTxOState | | [JaredCorduan](https://github.com/JaredCorduan) | 2018-12-13 | 2018-12-20 | |
+| [135](https://github.com/input-output-hk/fm-ledger-rules/issues/135) | swap created and destroyed names in haskell model | | [JaredCorduan](https://github.com/JaredCorduan) | 2018-12-17 | 2018-12-20 | |
+| [141](https://github.com/input-output-hk/fm-ledger-rules/pull/141) | Explain why pool registration will not be censored. | | [kantp](https://github.com/kantp) | 2018-12-19 | 2018-12-20 | |
+
+# Milestone status
+
+List of all milestones
+
+## [Milestone title](https://github.com/input-output-hk/repo/milestone/1)
+
+Summary of underway milestone
+
+| Title                             | Value      |
+|-----------------------------------|------------|
+| Start Date                        | YYYY-MM-DD |
+| Target end Date                   | YYYY-MM-DD |
+| Estimated end Date                | YYYY-MM-DD |
+| Issues Completed this week        | 1          |
+| Total issues (complete/remaining) | 5/10       |
+
+## [Milestone title](https://github.com/input-output-hk/repo/milestone/2)
+
+No started yet
+
+# Epic status
+
+## [Epic title](https://github.com/input-output-hk/repo/issues/1)
+
+| Title                             | Value |
+|-----------------------------------|-------|
+| Issues Completed this week        | 1     |
+| Total issues (complete/remaining) | 5/10  |
+
+## [Epic title](https://github.com/input-output-hk/repo/issues/2)
+
+Not started yet
+
+# Lessons learned from last week
+
+ - When challenges come up while working on an issue, then create a new issue
+   for this with additional estimation
+ - Connect PRs to issues, can be several PRs for one issue
+
+# Things to try next week
+
+ - Think about merging `fm-ledger-rules` into `cardano-chain`