Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Migrate filesharing_logic and files_usecases to null safety. #733

Merged
merged 3 commits into from
Aug 17, 2023

Conversation

Jonas-Sander
Copy link
Collaborator

Fixes #195
Fixes #197

@docs-page
Copy link

docs-page bot commented Aug 9, 2023

To view this pull requests documentation preview, visit the following URL:

docs.page/sharezoneapp/sharezone-app~733

Documentation is deployed and generated using docs.page.

@github-actions github-actions bot added platform: web feature: file-sharing Files can be shared inside Sharezone e.g. by uploading them in a file-sharing folder of a course. feature: universal file features File features (downloading, preview, etc.) that are used by multiple Sharezone features. dependencies Changing, updating, adding or removing one or more dependencies. labels Aug 9, 2023
@github-actions
Copy link

github-actions bot commented Aug 9, 2023

Visit the preview URL for this PR (updated for commit 0e74109):

https://sharezone-test--pr733-migrate-files-packag-erky5ueh.web.app

(expires Wed, 16 Aug 2023 18:41:55 GMT)

🔥 via Firebase Hosting GitHub Action 🌎

Sign: 4cb3ae61e1e018abfd9841fd3239f5b49ccc034b

Copy link
Member

@nilsreichardt nilsreichardt left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@nilsreichardt nilsreichardt added this pull request to the merge queue Aug 9, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 9, 2023
@nilsreichardt nilsreichardt added this pull request to the merge queue Aug 9, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 9, 2023
@nilsreichardt nilsreichardt added this pull request to the merge queue Aug 10, 2023
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Aug 10, 2023
@nilsreichardt nilsreichardt added this pull request to the merge queue Aug 17, 2023
Merged via the queue into main with commit 6f15ccb Aug 17, 2023
@nilsreichardt nilsreichardt deleted the migrate-files-packages-to-null-safety branch August 17, 2023 11:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Changing, updating, adding or removing one or more dependencies. feature: file-sharing Files can be shared inside Sharezone e.g. by uploading them in a file-sharing folder of a course. feature: universal file features File features (downloading, preview, etc.) that are used by multiple Sharezone features. platform: web ui / ux
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Migrate the files_usecases package to null safety Migrate the filesharing_logic package to null safety
2 participants