Mute the bot

GmailMuteTheBot.xml

<?xml version='1.0' encoding='UTF-8'?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:apps='http://schemas.google.com/apps/2006'>
	<title>Mail Filters</title>
	<id>tag:mail.google.com,2008:filters:5610372463111728370,z0000001553548085673*1299412842134600696</id>
	<updated>2019-03-25T21:09:20Z</updated>
	<author>
		<name>Refael Ackermann</name>
		<email>refack@gmail.com</email>
	</author>
	<entry>
		<category term='filter'></category>
		<title>Mail Filter</title>
		<id>tag:mail.google.com,2008:filter:5610372463111728370</id>
		<updated>2019-03-25T21:09:20Z</updated>
		<content></content>
		<apps:property name='from' value='&quot;Node.js GitHub Bot&quot;'/>
		<apps:property name='shouldMarkAsRead' value='true'/>
		<apps:property name='shouldArchive' value='true'/>
		<apps:property name='sizeOperator' value='s_sl'/>
		<apps:property name='sizeUnit' value='s_smb'/>
	</entry>
	<entry>
		<category term='filter'></category>
		<title>Mail Filter</title>
		<id>tag:mail.google.com,2008:filter:z0000001553548085673*1299412842134600696</id>
		<updated>2019-03-25T21:09:20Z</updated>
		<content></content>
		<apps:property name='from' value='Node.js GitHub Bot &lt;notifications@github.com&gt;'/>
		<apps:property name='shouldMarkAsRead' value='true'/>
		<apps:property name='shouldArchive' value='true'/>
		<apps:property name='shouldNeverMarkAsImportant' value='true'/>
		<apps:property name='sizeOperator' value='s_sl'/>
		<apps:property name='sizeUnit' value='s_smb'/>
	</entry>
</feed>