SPF records @fedoraproject.org versus @lists.fedoraproject.org

[Reindl Harald]

is there a reason that the list-subdomain has a SPF record but the main 
domain not? now that as example "bodhi at fedoraproject.org" sends a lot of 
mails it would make sense to shortciruit them as ham on spamfilters as 
it is possible for the mailing-lists
________________________

lists.fedoraproject.org. 300    IN      TXT     "v=spf1 mx 
a:lists.fedoraproject.org a:bastion.fedoraproject.org 
a:bastion02.fedoraproject.org a:bastion01.fedoraproject.org ~all"
________________________

[harry at srv-rhsoft:~]$ dig TXT fedoraproject.org
; <<>> DiG 9.10.2-P4-RedHat-9.10.2-5.P4.fc22 <<>> TXT fedoraproject.org
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 47349
;; flags: qr rd ra; QUERY: 1, ANSWER: 0, AUTHORITY: 1, ADDITIONAL: 1

;; OPT PSEUDOSECTION:
; EDNS: version: 0, flags:; udp: 1024
;; QUESTION SECTION:
;fedoraproject.org.             IN      TXT

;; AUTHORITY SECTION:
fedoraproject.org.      120     IN      SOA     ns04.fedoraproject.org. 
hostmaster.fedoraproject.org. 2443921540 3600 600 2419200 86400

;; Query time: 27 msec
;; SERVER: 127.0.0.1#53(127.0.0.1)
;; WHEN: So Okt 04 10:59:15 CEST 2015
;; MSG SIZE  rcvd: 98

-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 181 bytes
Desc: OpenPGP digital signature
URL: <http://lists.fedoraproject.org/pipermail/devel/attachments/20151004/24782d8b/attachment.sig>