Closed kayaercument closed 5 months ago
It is deleted here for now. I tagged the backend developers, and @echavarria-lrz mentioned in the issue that the backends need to be moved. After they confirm, we will purge the other branches (See Issue #10 ).
It is deleted here for now. I tagged the backend developers, and @echavarria-lrz mentioned in the issue that the backends need to be moved. After they confirm, we will purge the other branches (See Issue #10 ).
Alright 👍🏼
Just for future reference: pleas have a look at https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue for how to properly (and automatically) link a PR to an issue so that the issue is automatically closed whenever the PR is merged. Safes some manual work and creates a better link between issues and PRs.
Backends are removed.
Resolves #11
FYI @AdVetter @martin-knudsen @Durganshu @alfrisch