diff --git a/README.md b/README.md index a43e761..e355371 100644 --- a/README.md +++ b/README.md @@ -154,6 +154,11 @@ website is automatically deployed when there's a push to the master branch of the repository, as well as once an hour (to update signatures). +To trigger a build, use something like this: + +``` +git commit --allow-empty -m 'Trigger build' +``` ## Maintainers diff --git a/fake-commit b/fake-commit deleted file mode 100644 index 2a6f763..0000000 --- a/fake-commit +++ /dev/null @@ -1,3 +0,0 @@ -A file to do fake commits to trigger the build after a PR has been merged. - -fake16