Configuring infrastructure resources for developers