Im Idealfall fällt der Spitzname mit der offiziellen Mannschaftsbezeichnung zusammen (i.d.R. wird auch kein Verband versuchen irgendeinen Kunstnamen für die Nationalmannschaft zu etablieren, wenn ein für die Fans positiv besetzen und emotional aufgeladener Spitzname besteht...man benennt keine Produkte um, wenn der Name teil der Beliebtheit ist) und dann ist es auch recht einfach dieses Feld zu belegen.
Wenn ich mich recht entsinne, war das "Problem" für den DFB und die deutsche Nationalmannschaft, dass es keinen Spitznamen gab - jedenfalls keinen einheitlichen, der irgendwie verbreitet gebräuchlich war. Als dann der Erfolg kam, wollte man aus Vermarktungsgründen einen und ist auf "Die Mannschaft" gekommen. Hat sich der Name durchgesetzt? Hier in D wohl eher - ich hab den Begriff noch nie gehört, wenn ich eine Unterhaltung zum Thema mitbekommen oder geführt habe und auch die Medien nutzen den Namen nur sporadisch und dann gerne noch in Anführungszeichen (vielleicht auch nur, um deutlich zu machen, dass der "Spitzname" gemeint ist - aber schon das zeigt dann auch wieder wie bemüht das ganze wirkt). Hingegen werden die anderen großen Teams (Three Lions etc.) in deutschen Medien wesentlich öfter mit den Nicknames aufgerufen. Es wäre zum Vergleich mal interessant, ob wenigstens die ausländische Presse oder Fußballfans anderer Länder im Bezug auf uns von "Die Mannschaft" reden (ironischer Gebrauch nach der WM2018 außen vor) - ich könnte mir das durchaus vorstellen.
Trotzdem komme ich zu dem Schluss, das ich -wenn ich es zu entscheiden hätte- "Die Mannschaft" als Nickname setzen würde. Besser als das Feld leerzulassen. Allerdings würde ich den offiziellen Namen einer jeden Mannschaft sofort ändern, wenn sich tatsächlich ein echter Spitzname etabliert. Nur in Deutschland sehe ich den derzeit nicht. Vielleicht ist das eben die Besonderheit bei uns...