weixin_39886841
weixin_39886841
2021-01-12 19:28

Implement assignment operator for common::optional.

Implement assignment operator for common::optional.

该提问来源于开源项目:cartographer-project/cartographer

  • 点赞
  • 写回答
  • 关注问题
  • 收藏
  • 复制链接分享
  • 邀请回答

6条回答

  • weixin_39557402 weixin_39557402 4月前

    Merge requested by authorized user wohe. Merge queue now has a length of 1.

    点赞 评论 复制链接分享
  • weixin_39557402 weixin_39557402 4月前

    Error: exit status 128

    Log: ~~~ => handle work item: PR 800 on googlecartographer/cartographer. => Switching to branch master. $ git reset --hard HEAD [data/cartographer] HEAD is now at 8165da8 Add GetConstraints() to gRPC service. (#798) $ git clean -fd [data/cartographer] $ git checkout master [data/cartographer] Already on 'master' Your branch is up to date with 'origin/master'. $ git pull [data/cartographer] Already up to date. Current branch master is up to date. => Checking out spielawa/overload_operator_in_optional as local branch pr_800. $ git remote add spielawa git.com:spielawa/cartographer.git [data/cartographer] fatal: remote spielawa already exists. $ git fetch spielawa [data/cartographer] Received disconnect from 192.30.253.113 port 22:11: Bye Bye Disconnected from 192.30.253.113 port 22 fatal: Could not read from remote repository.

    Please make sure you have the correct access rights and the repository exists.

    ~~~

    点赞 评论 复制链接分享
  • weixin_39866867 weixin_39866867 4月前

    No idea what failed here. Maybe a transient error. Let's try again.

    -the-cartographer merge

    点赞 评论 复制链接分享
  • weixin_39526185 weixin_39526185 4月前

    Yes looks like the Github server was not feeling well.

    点赞 评论 复制链接分享
  • weixin_39557402 weixin_39557402 4月前

    Merge requested by authorized user SirVer. Merge queue now has a length of 1.

    点赞 评论 复制链接分享
  • weixin_39627405 weixin_39627405 4月前

    -the-cartographer merge

    点赞 评论 复制链接分享