ARSN-183 type check stream

[ghivert]

No description provided.

[bert-e]

Hello ghivert,

My role is to assist you with the merge of this
pull request. Please type @bert-e help to get information
on this process, or consult the user documentation.

Status report is not available.

[bert-e]

Integration data created

I have created the integration data for the additional destination branches.

• this pull request will merge feature/ARSN-183-type-check-stream into
  development/7.10
• w/8.1/feature/ARSN-183-type-check-stream will be merged into development/8.1 (pull request INTEGRATION [PR#1858 > development/8.1] ARSN-183 type check stream #1859)

The following branches will NOT be impacted:

• development/6.4
• development/7.4

Follow integration pull requests if you would like to be notified of
build statuses by email.

[bert-e]

Waiting for approval

The following approvals are needed before I can proceed with the merge:

• the author

• 2 peers

[bert-e]

Conflict

A conflict has been raised during the update of
integration branch w/8.1/feature/ARSN-183-type-check-stream with contents from feature/ARSN-183-type-check-stream
and development/8.1.

Please resolve the conflict on the integration branch (w/8.1/feature/ARSN-183-type-check-stream).

Here are the steps to resolve this conflict:

 $ git fetch
 $ git checkout w/8.1/feature/ARSN-183-type-check-stream
 $ git pull  # or "git reset --hard origin/w/8.1/feature/ARSN-183-type-check-stream"
 $ git merge origin/development/8.1
 $ # <intense conflict resolution>
 $ git commit
 $ git merge origin/feature/ARSN-183-type-check-stream
 $ # <intense conflict resolution>
 $ git commit
 $ git push -u origin w/8.1/feature/ARSN-183-type-check-stream

[bert-e]

Waiting for approval

The following approvals are needed before I can proceed with the merge:

• the author

• 2 peers

[ghivert]

/approve

[bert-e]

In the queue

The changeset has received all authorizations and has been added to the
relevant queue(s). The queue(s) will be merged in the target development
branch(es) as soon as builds have passed.

The changeset will be merged in:

• ✔️ development/7.10

• ✔️ development/8.1

The following branches will NOT be impacted:

• development/6.4
• development/7.4

There is no action required on your side. You will be notified here once
the changeset has been merged. In the unlikely event that the changeset
fails permanently on the queue, a member of the admin team will
contact you to help resolve the matter.

IMPORTANT

Please do not attempt to modify this pull request.

• Any commit you add on the source branch will trigger a new cycle after the
  current queue is merged.
• Any commit you add on one of the integration branches will be lost.

If you need this pull request to be removed from the queue, please contact a
member of the admin team now.

The following options are set: approve

[bert-e]

I have successfully merged the changeset of this pull request
into targetted development branches:

• ✔️ development/7.10

• ✔️ development/8.1

The following branches have NOT changed:

• development/6.4
• development/7.4

Please check the status of the associated issue ARSN-183.

Goodbye ghivert.