Chicago Mayor Brandon Johnson asked Chicago Public Schools Chief Executive Officer Pedro Martinez to step down this week, several sources close to the matter confirmed with the Chicago Tribune.

After months of tension, Mayor Brandon Johnson told Chicago Public Schools CEO Pedro Martinez this week that he wants the embattled schools chief to leave his position, three sources told the Chicago Sun-Times and WBEZ.

Johnson asked for Martinez’s resignation weeks after reports that the mayor’s office was laying the groundwork to replace the schools chief.