Conclusion: I don't like boiling the onions in beer. If you cook down the onions afterwards, it concentrates the flavor of the beer in them. Instead, I would prefer an actual pan sauce. [1] [2]
This is the most common way suggested.
A traditional British dish is bangers and mash, often served with onion gravy.