Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
* part of #2906 * output is unchanged. ``` $ git log --oneline -n1 --pretty=short commit f2f97e2f (HEAD -> makefile) Author: Ariel Otilibili <[email protected]> Refactored `webui*` rules $ make webui -n >> /tmp/makefile; echo $? 0 $ make webui-audit -n >> /tmp/makefile; echo $? 0 $ make webui-audit-fix -n >> /tmp/makefile; echo $? 0 $ git switch develop Switched to branch 'develop' Your branch is up to date with 'origin/develop'. $ git log --oneline -n1 --pretty=short commit 24c8725 (HEAD -> develop, origin/develop, origin/HEAD) Merge: 42af55b fa7fc5b Author: Nicolas Hennion <[email protected]> Merge pull request #2941 from ariel-anieli/refactor-alert $ make webui -n >> /tmp/develop; echo $? 0 $ make webui-audit -n >> /tmp/develop; echo $? 0 $ make webui-audit-fix -n >> /tmp/develop; echo $? 0 $ diff /tmp/develop /tmp/makefile; echo $? 0 ``` Signed-off-by: Ariel Otilibili <[email protected]>
- Loading branch information