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

Automatic PR: Merging dev into main (c0dc218) #913

Closed
wants to merge 217 commits into from
Closed

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Oct 9, 2023

This pull request was automatically created by GitHub Actions, and it is automatically done at the start of every Monday or manually ran. It merges all of the changes that were made to the dev branch into the main branch.

The reason why the dev branch exists is to make sure that all of the code in main has been properly reviewed and approved. Five contributors have to approve this pull request for it to be merged.

See here for more information: https://docs.atlasos.net/contributions

Last commit to dev: c0dc218

Xyueta and others added 30 commits August 25, 2023 20:30
Add live log to developer builds via workflow
@github-actions github-actions bot added the auto-pr Automated PR every week merging dev into main label Oct 9, 2023
@he3als he3als closed this Oct 9, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
auto-pr Automated PR every week merging dev into main
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants