Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
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
Automate template setup process via CI for GitHub users #143
Automate template setup process via CI for GitHub users #143
Changes from 16 commits
25f6f85
c29c903
5f54fae
176574b
668beab
00260ce
4361f2a
a6d1175
24d6c03
721d53f
ee2baed
90a7d70
6397718
7b3e90f
de9206f
e1924a8
fd141ad
c906b86
5c65f27
dcec073
fdeb428
6b5f74d
718255e
93bb53e
1238ffb
faea0bc
01be175
0dcdbcf
4130dfe
7d13315
b3e4ebb
71b05d3
830be46
ce8f18d
6df2cb8
3e01209
5b43f1a
50b8408
dd4f13b
3f35133
73ba03b
e70eaf8
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Shouldn't we deploy on any push to
main
, even if they did not originate from a merged pull request? 🤔This would ensure a consistent mapping between commits on
main
and deployments, and simplify the code by removing the need to checkif: github.event.pull_request.merged == true
.If changed, this should be reflected in the CHANGELOG.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This file was deleted.