Several usages of outdated `pull-right/left`

There are several usages of pull-right/left instead of float-right/left

$ rg 'pull-(right|left)'
app/views/groups/runners/_runner.html.haml
11:    .pull-right
17:  .pull-right

app/views/projects/pipelines/new.html.haml
32:    = link_to 'Cancel', project_pipelines_path(@project), class: 'btn btn-default pull-right'

app/views/projects/mirrors/_push.html.haml
33:          = rm_form.check_box :enabled, class: "pull-left"
45:          = rm_form.check_box :only_protected_branches, class: 'pull-left'

app/views/users/terms/index.html.haml
7:    .pull-right
11:    .pull-right

app/views/profiles/active_sessions/_active_session.html.haml
4:  .pull-left.append-right-10{ data: { toggle: 'tooltip' }, title: active_session.human_device_type }
7:  .description.pull-left
28:    .pull-right

app/assets/javascripts/ide/components/repo_file.vue
172:            class="pull-right"

app/assets/javascripts/ide/components/changed_file_icon.vue
46:      return `multi-${this.changedIcon} pull-left`;

app/assets/javascripts/ide/components/commit_sidebar/form.vue
147:            container-class="btn btn-success btn-sm pull-left"
154:            class="btn btn-default btn-sm pull-right"
162:            class="btn btn-default btn-sm pull-right"