support pull: true option #498

Activity

1. louisabraham

   added

   status: pendingMore info is needed before deciding what to doMore info is needed before deciding what to do

   on Apr 20, 2023
2. EndBug

   added

   status: pinnedShould not be labeled as staleShould not be labeled as stale

   type: fixUpdates to existing functionalitiesUpdates to existing functionalities

   and removed

   status: pendingMore info is needed before deciding what to doMore info is needed before deciding what to do

   on Apr 22, 2023
3. EndBug commented on Apr 22, 2023

   

   EndBug

   on Apr 22, 2023

   Owner

   More actions

   Makes sense! I'll add it when I have some time to work on it 👍🏻
   In the meanwhile, I guess that setting it to " " should work the same
4. anakin87 commented on Jan 15, 2026

   

   anakin87

   on Jan 15, 2026

   More actions

   Makes sense! I'll add it when I have some time to work on it 👍🏻 In the meanwhile, I guess that setting it to " " should work the same

   Unfortunately the proposed workaround does not work. Pull is skipped.
5. EndBug

   added a commit that references this issue on Aug 14, 2026

   feat: treat pull: true as a default git pull (#498) (#773)

   ...

   f0d523c
6. EndBug

   closed this as completedin #773on Aug 14, 2026
7. louisabraham commented on Aug 14, 2026

   

   louisabraham

   on Aug 14, 2026

   Author

   More actions

   Thanks!
8. EndBug commented on Aug 14, 2026

   

   EndBug

   on Aug 14, 2026

   Owner

   More actions

   @all-contributors please add @louisabraham for their idea
9. allcontributors commented on Aug 14, 2026

   

   allcontributorsbot

   on Aug 14, 2026 – with AllContributors

   Contributor

   More actions

   @EndBug

   I've put up a pull request to add @louisabraham! 🎉