On 21.08.23 09:59, Julien Grall wrote:
Hi,On 18/08/2023 15:20, Andrew Cooper wrote:If you end up to the be committer then sure. I would prefer not doing it while committing.On 18/08/2023 3:08 pm, Juergen Gross wrote:diff --git a/.gitignore b/.gitignore index c1b73b0968..c6489c4e70 100644 --- a/.gitignore +++ b/.gitignore @@ -237,22 +237,22 @@ tools/xenmon/xentrace_setmask tools/xenmon/xenbaked tools/xenpaging/xenpaging tools/xenpmd/xenpmd -tools/xenstore/xenstore -tools/xenstore/xenstore-chmod -tools/xenstore/xenstore-control -tools/xenstore/xenstore-exists -tools/xenstore/xenstore-list -tools/xenstore/xenstore-ls -tools/xenstore/xenstore-read -tools/xenstore/xenstore-rm -tools/xenstore/xenstore-watch -tools/xenstore/xenstore-write -tools/xenstore/xenstored +tools/xenstored/xenstored tools/xentop/xentop tools/xentrace/xentrace_setsize tools/xentrace/tbctl tools/xentrace/xenctx tools/xentrace/xentrace +tools/xs-clients/xenstore +tools/xs-clients/xenstore-chmod +tools/xs-clients/xenstore-control +tools/xs-clients/xenstore-exists +tools/xs-clients/xenstore-list +tools/xs-clients/xenstore-ls +tools/xs-clients/xenstore-read +tools/xs-clients/xenstore-rm +tools/xs-clients/xenstore-watch +tools/xs-clients/xenstore-write xen/**/*.i xen/**/*.s xen/.bannerPlease take the opportunity to move these into local .gitignore files. One less area of churn in future renaming. Probably can be fixed on commit as its only mechanical.
I'll send a V6. Juergen
OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key
OpenPGP_signature.asc
Description: OpenPGP digital signature
