Use reddit usernames in Discord

Since we use Discord for many subreddits, it would be helpful if there was a way to force users to use their reddit usernames as their Discord nicknames. This would help build a sense of community, creating a bridge between the subreddit and the Discord server. Right now the only way to do this is to request members comply and manually check that each user's nickname matches their reddit username, which is a time-consuming and arduous process.