Skip to content

History / Note bors usage

Edit page New page

Revisions

  • Incoming is gone, and the listed bors steps are mostly redundant with the paragraph below.

    @bcully bcully committed Jul 11, 2013
    3bd6a85

  • adding clarifcation since my instinct in the past has been to put the "@bors: retry" messages on the PR rather than the commit

    @pnkfelix pnkfelix committed Jun 17, 2013
    a2e4eca

  • incorporated a more polished message from Graydon to the broader community

    @pnkfelix pnkfelix committed Jun 12, 2013
    a2a0460

  • incorporated another thread's content

    @pnkfelix pnkfelix committed Jun 12, 2013
    b22e1c8

  • adapted content from a followup thread

    @pnkfelix pnkfelix committed Jun 12, 2013
    9d1caa8

  • Decided it is time for a note documenting the bors bot.

    @pnkfelix pnkfelix committed Jun 12, 2013
    33a5e32