When a Python tool is published as a web tool, the user's credentials are available via the GIS object in the Python API. However, those credentials cannot be used in arcpy.SignInToPortal in order to access Portal layers in a Pro project. I would like to see either a new method on the GIS object to sign in arcpy, or else allow the GIS object as an argument in the arcpy function.