adr-manager
adr-manager copied to clipboard
Local storage gets out of sync with GitHub
How to reproduce:
- Add a repository to two browsers.
- In one browser, create a new ADR and "commit and push".
- In the other browser, you will not see the new ADR.
- Note that you cannot refresh the browser page to update the list of ADRs.
Workaround
- You can disconnect and reconnecting will force everything to be reloaded.
- If you add a second
branch
, you can switch between the branches to force a refresh for just that repository. Any changes will be lost.
Thoughts
For each repository in the addedRepositories
list, the git commit SHA1 should be stored next to the branch
.
A small background task can periodically check for new content (e.g., on browser focus if last check was 30+ seconds ago).
To make conflict resolution easier, each ADR may want to keep a git commit SHA1 for the editedMd
showing what commit the edits are relative to. That way, you could try to re-apply the diff to the new originalMd
.
An alternative is to use the git blob SHA1 since that is all you really care about.