i want to request to get my username changed in minecraft back to real_devin7 
What is your current name?
And changing back to an old name is very painful to do as everything needs to be done manually… So I will probably not do it until I get back home tomorrow