[dnceng-bot] Branch `fsharp/release/dev17.12` can't be mirrored to Azdo fast forward branch

[dotnet-maestro-bot]

Branch release/dev17.12 in dotnet/fsharp repo can't be mirrored from GitHub to Azure DevOps release/dev17.12 via fast forward. There was unexpected error during the mirroring process.

unexpected http status code: 500

Problem need to be resolved to unblock the code flow.

You can troubleshoot the issue by:

• checking the logs of the mirroring process in the mirroring pipeline.
• by trying to mirror the branch manually
• you can disable the mirroring of the branch in the configuration file.
• you can ask @dotnet/dnceng for help or read the documentation.

Please close this issue once the problem is resolved.