Is there a force push option in GitHub Desktop?

As of Nov. 2018, still no native support for a push --force in GitHub Desktop:

• no mention of that feature in the Release Notes page,
• no mention in the current roadmap,
• issue 3580 was still pending.

That might change, considering GitHub is now displaying who did a push --force on GitHub.

Update August 2020, issue 3580 mentioned above now include this screenshot, by turtlemaster19:

Interestingly, in the Advanced preferences of GitHub Desktop (at least on Mac) there is this interesting checkbox: