Gilles has submitted this change and it was merged. Change subject: Script to clean up the generated files ......................................................................
Script to clean up the generated files since it's hard to remember the right flags for git clean (and it's destructive with the wrong flags). Change-Id: I0ab52a7acd5a40f0eca51798090403096b20d9e0 --- A clean.sh 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Gilles: Verified; Looks good to me, approved diff --git a/clean.sh b/clean.sh new file mode 100755 index 0000000..339609b --- /dev/null +++ b/clean.sh @@ -0,0 +1 @@ +git clean -Xf -- To view, visit https://gerrit.wikimedia.org/r/186090 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I0ab52a7acd5a40f0eca51798090403096b20d9e0 Gerrit-PatchSet: 1 Gerrit-Project: analytics/multimedia/config Gerrit-Branch: master Gerrit-Owner: Gergő Tisza <gti...@wikimedia.org> Gerrit-Reviewer: Gilles <gdu...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits